More stable quaternions (commutativity problems, more general Exp() and Log())... MIGHT be correct, need to make the test more obvious :P