Hurwitz_quaternion