9.33.2 Floating Point

OpenRISC uses IEEE floating-point numbers.