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