ut               1177 src/dps8/dps8_math.c   uint128 ut = rshift_128 (cast_128 (t), 44);
ut               1178 src/dps8/dps8_math.c   int128 m3 = multiply_s128 (SIGNEXT72_128(m1), cast_s128 (ut));