fixed conversion double uint64_t from double