type(f32 + f64)
