например:
http://www.globalshiksha.com/books.php?q=automatedFloating+point+to+Fixed+point+Conversion+&search-submit=Search
посвещенных автоматизированному преобразованию вычислений с плавающей точкой в эквивалентный, но уже в формате с точкой фиксированной, с корректным масштабированием и т.п. , многие из них обещают оценку погрешности, некоторые дополнительную оптимизацию для известных диапазонов входных параметров...
Но есть у них одно общее свойство: публикация есть, а вот тулзы нет

А ведь задача-то распротраненная, ну просто не может быть чтобы не было удобного ее автоматического решения...
Не подскажите ли, Уважаемые Робототехники, какого решения удобного, OpenSource в идеале
