def val_to_fp(self, sort, signed=True, rm=None):
if rm is None:<EOL><INDENT>rm = fp.fp.RM.default()<EOL><DEDENT>if sort is None:<EOL><INDENT>sort = fp.fp.FSort.from_size(self.length)<EOL><DEDENT>op = fp.fpToFP if signed else fp.fpToFPUnsigned<EOL>return op(rm, self, sort)<EOL>
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