The original problem is still present but the two extra bugs
(involving Watch expressions `Current // 1' and `3 / 1') are fixed in
6.2.72969.