i32 / min(i32)
