(bind-func xtm_subtraction (lambda (a:Rational b:double) (- (/ (convert (tref a 0) double) (convert (tref a 1) double)) b)))