Implement Integer#downto.

This should be sufficient for #386.