i32 .. min(1, 0.5)
