Maarten Brock - 2012-12-28

Many other embedded compiler suites solve this by letting you tell the linker the preferred implementation. They have several implementations in their library and a linker switch tells which one to pick. But to my knowledge they all default to a small implementation without extensive float printing capabilities.