  Lenstra and Guruswami described number field analogues of the algebraic
geometry codes of Goppa. Recently, the first author and Oggier generalised
these constructions to other arithmetic groups: unit groups in number fields
and orders in division algebras; they suggested to use unit groups in
quaternion algebras but could not completely analyse the resulting codes. We
prove that the noncommutative unit group construction yields asymptotically
good families of codes for the sum-rank metric from division algebras of any
degree, and we estimate the size of the alphabet in terms of the degree.
