i32 ^ i <= f32
