Integer operations with properties implemented