[math-fun] Hurwitz integers --- and it sez 'ere ...