[math-fun] quaternions (& more)