I know there are rarely float-point operations! What's the exception?

In the linux kernel, how does it handle the float-point operations in the userland?

- mudongliang