code: def val_to_bv(self, size, signed=True, rm=None):
          
          if rm is None:
              rm = fp.RM.default()
  
          op = fpToSBV if signed else fpToUBV
          return op(rm, self, size)
docs: Convert this floating point value to an integer.
  
          :param size:    The size of the bitvector to return
          :param signed:  Optional: Whether the target integer is signed
          :param rm:      Optional: The rounding mode to use
          :return:        A bitvector whose value is the rounded version of this FP's value