Method test_as_long

tests/test_z3_ported.py:3207–3209

(self)

        assert r.as_string() == "1/3"

    def test_as_long(self):
        r = RatVal(7, 2)
        assert r.as_long() == 3  # integer division

    def test_q_alias(self):
        r = Q(2, 5)