I am using the NXP MCU Tools toolchain with Gnu Make Builder in the MCUXpresso IDE. I am able to use printf statements generally while debugging, but floating point specifiers (%f) do not print. I have enabled PRINTF_FLOAT_ENABLE=1 in the preprocessor (see below), but that makes no difference. I also have the Floating point mode set to "FPv4-SP (Hard ABI)." How can I get a floating point number to print using printf?