signAwareModulo ---> nonNegativeMod