(bind-func xtm_subtraction (lambda (b:i64 a:Rational) (Rat (- (tref a 0) (* (tref a 1) b)) (tref a 1))))