0.5 - 1 <= i32
