redef fun /(i) is intern

	redef fun /(i) is intern

	redef fun /(i) is intern

	redef fun /(i) is intern

	redef fun /(i) is intern

    #     assert(3.to_r / 2.to_r == "3/2".to_r)
    redef fun /(r) do
        var res = new NativeMPQ
        val.div(res, r.val)
        return new Ratio(res)
    end

	redef fun /(i) is intern

	redef fun /(i) is intern

    #     assert(3.to_bi / 2.to_bi == 1.to_bi)
    redef fun /(i) do
        var res = new NativeMPZ
        val.tdiv_q(res, i.val)
        return new BigInt(res)
    end

	redef fun /(i) is intern