i32 > f64 * 0.5
