Очень интересует данная тема, поскольку исходников библиотек std.lib и math.lib у меня нет.
Какой-то намек дает описание функции div_t div(int numer, int denom) и определение структуры div_t, но этого крайне мало. Интересует также процедура нормализации.

Все эти потуги связаны с тем, что меня не устраивают процедуры форматированного вывода чисел, представленных в плавающем формате.

Посмотрите ссылки здесь: FPconvert
Советую взглянуть на документ AN575 от Microchip.

Спасибо, но у меня вызывают сильные опасения относительно совместимости форматов представления Microchip'а и IAR AVR.
?

В IAR используется стандарт IEEE754. Скачайте его да и изучайте на здоровье.
P.S. представление float числа и форматированный вывод с помощью функций printf/sprintf слабо связанные между собой вещи ИМХО.

Связаны слабо, но без знания формата не сделаешь свой ввод/вывод.
Вся беда в том, что IAR свои биб-ки дает только в объектных файлах, и механику их работы подсмотреть невозможно.
А я терпеть не могу пользоваться чужими "фичами" (или багами), предпочитаю свои

Относительно стандартов - я уже имел "счастье" набить шишки на соблюдении стандартов фирмачами.
За ссылку спасибо, скачал.

А какие тут могут быть опасения? Очевидно, что они несовместимы. В IAR используется формат IEEE754. Хотя Microchip использует свой формат, который оптимизирован для 8-разрядных процессоров, но он мало отличается от IEEE754. Разница состоит в том, что порядок размещается в отдельном байте, а знак числа перенесен в старший байт мантиссы. Впрочем, если Вы запустите утилиту, то все отличия увидите сами.

Спасибо, буду экспериментировать.
Наверное, будут шансы нарваться на ненормализованные числа, и придется делать самому и нормализацию

Могу добавить, что исходные тексты подпрограмм с FP приведены в AN575, для PIC16. Их можно посмотреть. Для IAR все примерно то же самое (алгоритмы). Разница состоит в том, что числа в формате IEEE754 нужно предварительно распаковывать перед выполнением операций и упаковывать после выполнения операций, перед сохранением результата в памяти. В формате Microchip такие операции тоже есть но они короче.

Посмотрел - то что надо!
Большое спасибо!