export_bits(cpp_int(f.backend().bits()), std::back_inserter(v), 8);
// Grab the exponent as well:
int e = f.backend().exponent();
export_bits(cpp_int(f.backend().bits()), std::back_inserter(v), 8);
// Grab the exponent as well:
int e = f.backend().exponent();