Floating point is very, very, very, very rarely (if ever) used inside the kernel itself.
Userspace apps use floating point a lot, and those instructions are enabled for userspace apps. You'll see these enabled for applications that actually make use of them. Watch the output from compiling ports, you'll see them enabled in there.