Actually commit the definition for UINT64_MAX