Iterate in the opposite direction

The % + % silliness in the tests is to replicate the expected modulo
behavior for negative numbers (where 'expected' comes from Abstract
Algebra).