(bind-func xtm_greaterthan (lambda (a:Rational b:Rational) (> (* (tref a 0) (tref b 1)) (* (tref b 0) (tref a 1)))))