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