> "Die beiden letztgenannten Zeichen werden im troff Modus
> No, they're ignored in *nroff* mode,
Aah, in my correction just sent to the list I missed to replace
`troff' with `nroff'. And you are right, they are ignored because the
rounding happens right after applying \| or \^ so they are not
cumulative. I'm a twit.