Rust Integer Division Rules