modulo gives the wrong result when one side is negative · Groundwork