type(f32 - 1)
