m1l              2374 src/dps8/dps8_math.c   int128 m1l = and_s128 (cast_s128 (m1), construct_128 (0, MASK64));
m1l              2377 src/dps8/dps8_math.c   int128 m3l = multiply_s128 (m1l, m2s); // lo partial product
m1l              2388 src/dps8/dps8_math.c   int128 m1l = m1 & (((uint128)1<<64)-1);
m1l              2391 src/dps8/dps8_math.c   int128 m3l = m1l * m2s; // lo partial product