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