* kernel/Kernel.tex.nw: LP aspectize floating point code