Implemented integer arithmetics