type(i32 - f32)
