Fix toString() for TermInteger: produce integers, not floats
Type checking for shallowClone