Микроконтроллеры

это уже понятно, что double у вас -- это тот же самый float Поэтому проверяя на компе пишите эквиваентную модель на Си с использованием именно явного float, а не double, чтобы результаты были сравнимы. Иначе это не совсем корректно.