i32 / max(i32)
