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