i < half(f32 ^ i64)
