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