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