(bind-func xtm_division (lambda (a:i1 b:Rational) (Rat (* (tref b 1) (i1toi64 a)) (* (tref b 0) 1))))