import scas.base.{, }
import .given
import .given
assert (Rational("") >< )
assert (Rational("", "") >< )
assert (BigInteger("")%%BigInteger("") >< )
assert (BigInteger("")%%2 >< )
assert (%%BigInteger("") >< )
assert ( + >< + )
assert ( + >< )
assert ( * () >< 1)
assert ( / () >< )
assert (() \ 2 >< )
assert (() \:2 >< )
assert (() \ BigInteger("") >< )
assert (() \:BigInteger("") >< )