Rotations, Quaternions, and Double Groups