static f32 Fixed13ToFloat32( u32 fixed13 );
Converts from an 13-bit fixed to a 32-bit float.
CONFIDENTIAL