Require Reals.
Check ``32``.
Check ``-31``.