issue #37. don't kill XSB by constant escaping negative numbers