Use float for notenum everywhere, and use id as note identifier. Needs a little bit more work.