f32 <= f64 and ok
