i32 > abs(f64)
