Type alias for octonion numbers.
Octonion numbers are implemented as Caley-dickson numbers of dimension 8.