floating points in kernel space

hi all, i read somewhere that there is no floating point arithmatic supported in the kernel space . is it true?? but the floating point registers and even floating point arithmatic units are all handled by the.........( kernel i think). thanks in advance for help........... -- ........................ *MOHIT VERMA*