The language specification has the form: (ieeefloat [-]exponent [-]mantissa) [sec 5.3] What is the radix? [IEEE854 is radix-independent] Is it understood to be 2? Swaroop.