(bind-func xtm_division
(lambda (a:Complexd b:Complexd)
(let ((i (+ (* (tref a 0) (tref b 0))
(* (tref a 1) (tref b 1))))
(j (+ (* (tref b 0) (tref b 0))
(* (tref b 1) (tref b 1))))
(k (- (* (tref a 1) (tref b 0))
(* (tref a 0) (tref b 1)))))
(Cpxd (/ i j)
(/ k j)))))