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