def METHOD_NAME():
    """Test ``Int`` modulus operation."""
    term_a = Int(12)
    term_b = Int(10)
    assert term_a % term_b == 2
    assert isinstance(term_a % term_b, NumericType)
    assert term_a % 10 == 2
    assert isinstance(term_a % 10, NumericType)
    assert 12 % term_b == 2
    assert isinstance(12 % term_b, NumericType)