Made MIDI_encode's numbers consistent with constants.e