The Arithmetic of Listening: Tuning Theory and History for the Impractical Musician