Method readFloat

unused/rangedecoder.cpp:208–213

Decode a float without modelling */

/* Decode a float without modelling                          */
F32 RangeDecoder::readFloat()
{
  U32F32 u32f32;
  u32f32.u32 = readInt();
  return u32f32.f32;
}

/* Decode an unsigned 64 bit int without modelling           */
U64 RangeDecoder::readInt64()