i32 + i > half(f64)
