I have what is probably a stupid question. If I am using the gcc toolchain to compile c code for the launchpad (LM4F) how exactly do I use the floating point unit? TI has functions to enable the floating point unit in driverlib, but once I enable it does that mean all math operators (like + * / -) get handled by the fpu automatically? or just all the ones where the arguments are floats, or do I have to specify somehow that i want it to use the FPU? I feel like this is a basic universal concept that I just do not know, and can't seem to find addressed anywhere.