more explicitly convert to float64