m3h              2372 src/dps8/dps8_math.c   int128 m3h = multiply_s128 (m1h, m2s); // hi partial product
m3h              2377 src/dps8/dps8_math.c   m3h = lshift_s128 (m3h, 1); // m3h is hi by 64, align it for addition. The result is 135 bits so this cannot overflow.
m3h              2378 src/dps8/dps8_math.c   word72 m3a = and_128 (add_128 (cast_128 (m3h), cast_128 (m3l)), MASK72);
m3h              2386 src/dps8/dps8_math.c   int128 m3h = m1h * m2s; // hi partial product
m3h              2393 src/dps8/dps8_math.c   m3h = (int128) (((uint128) m3h) << 1); // m3h is hi by 64, align it for addition. The result is 135 bits so this cannot overflow.
m3h              2394 src/dps8/dps8_math.c   word72 m3a = ((word72) (m3h+m3l)) & MASK72;