Wow. Just wow. Not that I would need this IRL but it still deserves a thumbs-up in a way that this numeric type is not forgotten.

Unfortunately, we lack even complex number support in most languages standard math APIs, let alone quaternions. But when it's time to port this type, I'll definitely look here.