code: def raw_to_fp(self):
          
          sort = fp.fp.FSort.from_size(self.length)
          return fp.fpToFP(self, sort)
docs: Interpret the bits of this bitvector as an IEEE754 floating point number.
          The inverse of this function is raw_to_bv.
  
          :return:        An FP AST whose bit-pattern is the same as this BV