type(f32 - i64)
