bigsecs 7125 src/dps8/dps8_ins.c uint128 bigsecs = divide_128_32 (big, 1000000u, & remainder); bigsecs 7127 src/dps8/dps8_ins.c uint64_t secs = bigsecs.l;