Converting Float32 to Float64

[jblindsay]

How do you convert between numeric data types in Mojo? For example, how would you convert a Float32 to a Float64?

[mikowals]

var x = Float32(1)
var y = x.cast[DType.float64]()
print(y.type)

See docs of cast.

[jblindsay]

That's exactly it @mikowals thanks. Wow, that was not so obvious to me. I would have expected something more like:

var x = Float32(1)
var y = Float64(x)

But that doesn't seem to work well.