Is there a way to represent infinity as a real number in z3py?

[oyendrila-dobe]

I'm trying to assign a value 'undefined' to a real type variable in my constraint. I tried using fpPlusInfinity to create a floating-point infinity and convert it to real. But its behavior is undefined and the solver assigns random real values to it. Is there a way to assign infinity or 'undefined' to a real type variable?