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