A.4.3.6 Floating point types
The floating point typesfloat anddouble map to Lisp types namedcorba:float andcorba:double, respectively. These types must be subtypes of the typereal. They must allow representation of all numbers specified by the corresponding CORBA types.