Fixed issue #6: reversed-subtraction bug in Pitch.difference