static f32 Bits31ToFloat32( u32 bits31 );
Converts from a 31-bit float to a 32-bit float.
CONFIDENTIAL