* kernel/Kernel.tex.nw: factorize code using ROUND