Use uint64 instead of float64