Hurwitz_integral_quaternion loading ...