Member predicate Sign::rem

Gets a possible sign after modulo dividing an expression that has this sign by an expression with sign s.