'Double modulo' operator

The even odd proposal would really benefit by adding this to its correctness argument I imagine. There's a couple of very popular sources listed here.

1 Like