Title: Rotations, Quaternions, and Double Groups