// Requires : cc.redberry#rings;2.5.7

import rings.BigInteger
import BigInteger.given

assert(BigInteger("1") + 1 >< 1 + BigInteger("1"))
assert(BigInteger("1") - BigInteger("1") >< 0)
assert(BigInteger("2") \ 2 >< 4)
assert(BigInteger("2") \:2 >< 4)
assert(2 \ BigInteger("2") >< 4)
assert(2 \:BigInteger("2") >< 4)
assert(2 \ 2 >< 4)
assert(2 \:2 >< 4)