INT64_MAX -> UINT64_MAX