Как преобразовать код C с плавающей запятой в код с фиксированной запятой?

У меня есть код на языке C, в котором используются числа типа double. Я хочу иметь возможность запускать код на DSP ( TMS320 ). Но DSP не поддерживает удвоения, только числа с фиксированной точкой. Как лучше всего преобразовать код в код с фиксированной точкой? Есть ли хорошая библиотека C для чисел с фиксированной запятой (реализованных как целые числа)?