max(0.5, 1) <= i32
