def raw_to_bv(self):
return fpToIEEEBV(self)<EOL>
Interpret the bit-pattern of this IEEE754 floating point number as a bitvector.
The inverse of this function is to_bv.

:return:        A BV AST whose bit-pattern is the same as this FP