Make printf float work with a weak symbol xpccFloat. If that symbol is
not imported with linker flag -u xpccFloat. Float formatting will be
disabled.