type(1 + f32)
