лично я с ними не работаю. но там есть директории Double_precision и Single_precision там же и source как подключить их к проекту я к сожалению не в курсе. Может кто работает сейчас подскажет...
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)