i32 > 0.5 * f64
