Use UINT64_C for UV constants.