There's no difference at all in output. When either is jacked up to 7.0, everything works and matches up; when either is set just a bit above the default 5.0 (5.4 is what I was hoping to use), stems miss note heads. So it's some sort of a numerical (truncation/roundoff) problem. John
