precision to float64