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.