i32 > half(f64)
