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