external inverse  : t -> t = "quat_inverse"