I sent a proposed fix (the one that was used in tetex) more than a month ago. No-one has reacted yet and the bug is still present in 2007-14.
-- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)