Для начала — посмотреть, какую вариацию стандартов флота исповедуют оба контроллера/компилятора. Потом записать на бумажке в клеточку :) Скорее всего, double контроллера „32“ соответствует f64 контроллера „64”, но проверить надо. По факту это задача сравнения двух реализаций плавающей точки на разных девайсах/компиляторах. Решается так же, как и общий случай такого сравнения.