Ответ: Вообще-то это стандарт Си. Перед выполнением операций данные типа float преобразуются в тип double. Если опция 64 double выключена, то данные типа float обрабатываются нестандартно.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)