9.32.2 Floating Point

OpenRISC uses ieee floating-point numbers.