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