def METHOD_NAME():
    # Test that integer division at tightest possible precision is exact
    N = 100
    seed(1)
    for i in range(N):
        a = choice([1, -1]) * randint(1, 1<<randint(10, 100))
        b = choice([1, -1]) * randint(1, 1<<randint(10, 100))
        p = a * b
        width = bitcount(abs(b)) - trailing(b)
        a = from_int(a); b = from_int(b); p = from_int(p)
        for mode in [round_floor, round_ceiling, round_down,
                     round_up, round_nearest]:
            assert mpf_div(p, a, width, mode) == b