Declared in <mp-units/utility/safe_int.h>
<mp-units/utility/safe_int.h>
using safe_u64 = safe_int<uint64_t>;