Maybe `convert_float` would be clearest?