(bind-func xtm_division (lambda (a:Rational b:Rational) (Rational_reduce (Rat (* (tref a 0) (tref b 1)) (* (tref a 1) (tref b 0))))))