more explicitly convert to Float64