(bind-func xtm_lessthan (lambda (a:Rational b:Rational) (< (* (tref a 0) (tref b 1)) (* (tref b 0) (tref a 1)))))