type(min(i32, 0.5))
