title: What's the difference between hard and soft floating point numbers?
body: <p>When I compile C code with my cross toolchain, the linker prints pages of warnings saying that my executable uses hard floats but my libc uses soft floats. What's the difference?</p>