(int/u64 "18_446_744_073_709_551_615") # =>