tdiv32 930 src/dps8/dps8_math128.c tdiv32 (1, 0, 1<<16, 0, 1ll<<48, 0); tdiv32 934 src/dps8/dps8_math128.c tdiv32 (MASK64, MASK64, 1<<16, MASK64>>16, MASK64, 0xffff);