(bind-func xtm_modulo (lambda (a:Rational b:Rational) (let ((c (/ a b)) (n (Rat (% (tref c 0) (tref c 1)) (tref c 1)))) (* b n))))