如何在没有SDK ESP8266的情况下使用浮点数?

好吧，我正在分叉项目，但由于该项目的主要思想是尽可能小，我终于在寻找能够使用浮点数的方法。我已经从 makefile 中删除了 -nostdlib 并将使用过的 XTensa GCC 更新到最新版本。我应该将什么选项添加到我的 Makefile (
) 以便能够在 UART 端口上打印它们并进行数学运算？