code: def val_to_fp(self, sort, signed=True, rm=None):
          
          if rm is None:
              rm = fp.fp.RM.default()
          if sort is None:
              sort = fp.fp.FSort.from_size(self.length)
  
          op = fp.fpToFP if signed else fp.fpToFPUnsigned
          return op(rm, self, sort)
docs: Interpret this bitvector as an integer, and return the floating-point representation of that integer.
  
          :param sort:    The sort of floating point value to return
          :param signed:  Optional: whether this value is a signed integer
          :param rm:      Optional: the rounding mode to use
          :return:        An FP AST whose value is the same as this BV