checked_uint64_t with tests