double dotted half note