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;