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

[Visor]

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

[IgorKossak]

Пока Вы не раскололись о версии компилятора, платформе/МК и способе задания для компилятора (среда или командная строка), попробую предположить, что речь идёт об AVR.
Попробуйте подключить нужную библиотеку, её название должно содержать цифры 64, установите модель памяти Small, функция __low_level_init (если Вы сами её определяете) должна возвращать 1, хотя не понятно как это может повлиять на double
А если выложите архив с минимальным проектом и всеми его настройками, то будет вообще чудненько.
Ещё идея, возможно это и никак не относится к double, а Вы просто не ту библиотеку взяли, имеется в виду clib вместо dlib или наоборот.

[Visor]

IgorKossak спасибо большое. По вашей наводке подключил библиотеку dlAVR-3s-64-f.r90 и всё пошло.
Вот только в мануале речь идёт о файле dlavr-3s-ec-64-f.r90 , которого нет в комплекте. (IAR for AVR
4.30A)