Hamilton, Rodrigues, Gauss, Quaternions, and Rotations: a Historical Reassessment