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