[Python-ideas] A modulo operator consistent with euclidean division.