not (f32 < f64)
