def RealNumber(s): if '.' not in s: return QQ(s) a = s.split('.') return ZZ(a[0]) + ZZ(a[1])/10^len(a[1])
3.45
matrix(2, [1.5,2.5, 7, 8.333])
3.5*x^2 - x*1.23445 + 2/3