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;