Fix UT64_MAX