f64 > i32 - f32
