ненулевое число с плавающей запятой генерируется как \0 в sprintf

Я работаю с создателем psoc и пытаюсь напечатать число с плавающей запятой между -1 и 1 на OLED-дисплее I2C. Чтобы заставить это работать, я использую функцию sprintf. Я добавил следующий флаг в свой компоновщик -u _printf_float, потому что я использую newlib-nano, и он пропускает код обработки с плавающей запятой, если он не запрошен. (Моя проблема может быть связана с этим... может быть?) В целях тестирования я написал строки:

char stringbuffer[20];
sprintf(stringbuffer, "(%1.1f, %1.1f)", 1.1, 1.1);

Во время отладки я заметил, что каждое ненулевое число с плавающей запятой, которое я пытаюсь напечатать, печатается как мусор с нулевым символом впереди. На самом деле каждое ненулевое число с плавающей запятой заменяется следующими 3 байтами. Если я заменю все значения на 0,0, тогда он будет напечатан отлично.

0x00 '\000'
0x2E '.'
0x80 '\200'

Целые числа, которые я пытаюсь напечатать в следующей строке, ведут себя так, как ожидалось.

Кто-нибудь сталкивался с подобной проблемой?