as: OpenRISC-Float

 
 9.32.2 Floating Point
 ---------------------
 
 OpenRISC uses IEEE floating-point numbers.