1 2 3 4 5 6 7 8 9 10
from hypothesis import given from rithm.integer import Int from . import strategies @given(strategies.ints) def test_idempotence(int_: Int) -> None: assert int_.numerator == int_