So upon review of this, I think I want to stick with uint64_t since it's meant to ensure that the separation below into sec and nsec happens correctly with the uint32_t. I am, however, changing `1E9` to ` 1000000000ll`.