Правильно. Вот поэтому я считаю, что для этого железа необходим инструментарий работы с арифметикой БОЛЕЕ ВЫСОКОГО УРОВНЯ, чем "fadd" и "беззнаковые целые". Не "низкого" с ковырянием на С в регистрах процессора, а ВЫСОКОГО, с нормальным, человеческим представлением формул, и обработкой исключений.





