def val_to_bv(self, size, signed=True, rm=None):
if rm is None:<EOL><INDENT>rm = fp.RM.default()<EOL><DEDENT>op = fpToSBV if signed else fpToUBV<EOL>return op(rm, self, size)<EOL>
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