Method writeInt64

unused/rangeencoder.cpp:287–291

}

void RangeEncoder::writeInt64(U64 sym)
{
  writeInt((U32)(sym % U32_MAX_PLUS_ONE)); // lower 32 bits
  writeInt((U32)(sym / U32_MAX_PLUS_ONE)); // UPPER 32 bits
}

void RangeEncoder::writeFloat(F32 sym)
{