import scas.base.{, }
import .given
import .given

assert (Rational("1") >< 1)
assert (Rational("1", "2") >< 12)
assert (BigInteger("1")%%BigInteger("2") >< 12)
assert (BigInteger("1")%%2 >< 12)
assert (1%%BigInteger("2") >< 12)
assert (1 + 12 >< 12 + 1)
assert (12 + 34 >< 54)
assert (32 * (23) >< 1)
assert (32 / (23) >< 94)
assert ((32) \ 2 >< 94)
assert ((32) \:2 >< 94)
assert ((32) \ BigInteger("2") >< 94)
assert ((32) \:BigInteger("2") >< 94)