isNotOne

Checks that this number is not a one in the context of the Semiring.