There are precisely four normed division algebras over the reals: the reals themselves, the complex numbers, the quaternions, and the octonions. The system is well equipped to deal with the first two: the onion package provides some functionality for the third and fourth.