<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def limitReal(x, max_denominator=1000000):
 """Creates an pysmt Real constant from x. Args: x (number):
 A number to be cast to a pysmt constant. max_denominator (int, optional):
 The maximum size of the denominator. Default 1000000. Returns: A Real constant with the given value and the denominator limited. """

    f = Fraction(x).limit_denominator(max_denominator)
    return Real((f.numerator, f.denominator))