Proper handling of uint64