Type alias for quaternion numbers.
Quaternion numbers are implemented as Cayley-dickson numbers of dimension 4.