Casts the current Term to Real, if possible
the current Term, casted to Real
if the current Term is not an instance of Real