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

Ну и что в этой цитате? То, что только 32 бита обязательны, 64 опциональны даже в самом стандарте. То, что С позволяет, но не требует IEEE 754 То, что ТИПИЧНО float это IEEE single а double это IEEE double. А нетипично может быть sizeof(float)==sizeof(double). И вообще, для того, чтобі узнать, как с этим в С надо смотреть стандарт С. а не стандарт на плавающие числа :-) Вот если там сказано "в полном соответствии с IEEE 754", то тогда смотреть IEEE. В стандарте С сказано - смотри float.h, чтобы узнать реальные характеристики. И у msp-gcc там константы, судя по которым float - 32 бита, а double и long double - 64. А у avr-gcc в этом файле #define DBL_DIG __DBL_DIG__ т.е. переброска на генерируемый компилятором __DBL_DIG__, а уж он смотрит на ключик -fshort-double, согласно которому устанавливается sizeof(double)=sizeof(float) :-)