Method writeInt

unused/rangeencoder.cpp:281–285

}

void RangeEncoder::writeInt(U32 sym)
{
  writeShort((U16)(sym % U16_MAX_PLUS_ONE)); // lower 16 bits
  writeShort((U16)(sym / U16_MAX_PLUS_ONE)); // UPPER 16 bits
}

void RangeEncoder::writeInt64(U64 sym)
{