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