Преобразование в 64-бит плавающую точку Опции

[Visor]

Есть 2 целых числа, одно целая часть, другое значение после запятой. Необходимо из них сделать число 64-бит с плавающей точкой. Ни как не могу сообразить как реализовать. Посоветуйте Си алгоритм, микроконтроллер AVR. Скорость преобразования критична. Или не стоит игра свечь, и воспользоваться арифметикой с double?

[IgorKossak]

ec означает extended core, что желательно, по крайней мере у меня для ATmega128.
f означает full, имеется в виду

Use the full configuration of the C/EC++
runtime library. Full locale interface,
C locale, file descriptor support,
multibytes in printf and scanf, and
hex floats in strtod.

. Сильно ли оно Вам надо?
Я пользуюсь библиотекой dlAVR-3s-ec_mul-64-n.r90, где mul означает поддержку аппаратного умножителя. Ваш МК его не имеет?
Кстати dlAVR-3s-ec_mul-64-f.r90 тоже имеется, а вот dlavr-3s-ec-64-f.r90 действительно нет, но есть dlAVR-3s-ec_nomul-64-f.r90