Produces an C<Int> value.
