No point casting a double to a uint64