m1h              2371 src/dps8/dps8_math.c   int128 m1h = rshift_s128 (SIGNEXT72_128(m1), 64);
m1h              2372 src/dps8/dps8_math.c   int128 m3h = multiply_s128 (m1h, m2s); // hi partial product
m1h              2385 src/dps8/dps8_math.c   int128 m1h = SIGNEXT72_128(m1) >> 64;
m1h              2386 src/dps8/dps8_math.c   int128 m3h = m1h * m2s; // hi partial product