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