On Wednesday, 18 May 2016 at 19:20:20 UTC, jmh530 wrote: > On Wednesday, 18 May 2016 at 12:39:21 UTC, Johannes Pfau wrote: >> >> Do you have a link explaining GCC actually uses such a soft >> float? > > I'm confused as to why the compiler would be using soft floats > instead of hard floats. Cross compilation.