Как преобразовать шестнадцатеричный формат в двоичный формат IEEE754? ⇐ C++

[Anonymous]

Я пытаюсь понять, как преобразовать число с плавающей запятой (например, 5.1) в двоичную форму в C++, используя стандарт IEEE754.
Насколько я понимаю, 5.1 в IEEE754 должен быть представлен с помощью 0 10000000001 0100011001100110011001100110011001100110011001100110.
Я пытался получить этот формат, используя следующую функцию
std::string hexToBinaryIEEE754(const std::string& hexStr) {
// Convert hex string to unsigned long long
unsigned long long hexValue = std::stoull(hexStr, nullptr, 16);

// Convert hex value to IEEE 754 binary representation
std::bitset bits(hexValue);
return bits.to_string();
}

К сожалению, возвращается значение 010000000001010001100110011001100110000000000000000000000000000
Любая идея о том, как вернуть код в двоичном формате, который можно использовать в CVC5< /code> в такой функции, как:
Term v = slv->mkBitVector(32, );


Подробнее здесь: https://stackoverflow.com/questions/783 ... ary-format