type(f32 < f64)
