Improved Integer modulo operation

Integer now defines modulo as remainder of the Euclidean division, even for negative numbers.
Fixes and Rational trim()

Solved a bug with 1-digit Natural division, which was causing trouble with Integer modulo and with Rational trimming.