Support for TPTP's TFF0 (with arithmetic)