Email Record: Rotations, quaternions, and double groups /