[contravariant]

The above assumes unsigned 32bit integers. It abuses integer overflow. Perhaps I should have stated that more explicitly.