f32->f64

Eventually these might be made generic, but at this time f64 is more useful for
scientific work.