Re: floating points in kernel space