Informally, it appears AVR-GCC is IEEE 754 compliant.
In this environment, how do I verify at compile time that floats are indeed IEEE 754 compliant? Much searching yields informative but inconclusive data
__STDC_IEC_559__ and friends return 0 even when runtime tests indicate floats are indeed compliant. std::numeric_limits is unavailable.