9.34.2 Floating Point

OpenRISC uses IEEE floating-point numbers.