UINT64 handling