i32 >= half(f64)
