Getting Started with ERC32 Ada: Ada 95 Compilation System for Spacecraft Microprocessors
PrevAppendix B. ERC32 Assembler Options and DirectivesNext

B.3. Floating Point

The ERC32 uses IEEE floating-point numbers.

PrevHomeNext
Enforcing aligned dataUpERC32 Machine Directives