Convert from integer to ring.
When
{-# LANGUAGE RebindableSyntax #-} is enabled,
this function is used for desugaring integer literals. This may be
used to facilitate transition from
Num to
Ring: no need
to replace 0 and 1 with
one and
zero or to cast numeric
literals.