correcting bug in oneminus and suppressing support of remainder for unsigned

in the computation of remainder in is possible that for 2 positive inputs the result be negative, (this is not the case for
rem and mod