f64 > abs(i32)
