1648     uint32_t mantissa;  in pb_decode_double_as_float()  local
1658     mantissa = (value >> 28) & 0xFFFFFF; /* Highest 24 bits */  in pb_decode_double_as_float()
1665         mantissa >>= 1;  in pb_decode_double_as_float()
1673             mantissa = 0;  in pb_decode_double_as_float()
1679             mantissa = 0;  in pb_decode_double_as_float()
1684             mantissa |= 0x1000000;  in pb_decode_double_as_float()
1685             mantissa >>= (-126 - exponent);  in pb_decode_double_as_float()
1690         mantissa = (mantissa + 1) >> 1;  in pb_decode_double_as_float()
1693         if (mantissa & 0x800000)  in pb_decode_double_as_float()
1696             mantissa &= 0x7FFFFF;  in pb_decode_double_as_float()
1697             mantissa >>= 1;  in pb_decode_double_as_float()
1702     out.i = mantissa;  in pb_decode_double_as_float()