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