Conversion from FloatingPoint BV to BV

[Franck Cassez]

From @inkytonik:

Is there a way to turn an FPBV into a BV? E.g., some rounding operations need to go from Double to Int or Long. For rounding that is entirely in FP world and we can use:

aterm1.roundToI(ctermRM(RNA()))

which produces an FPBV. But what to do if you want a BV instead?

[Franck Cassez]

see #10.

[Franck Cassez]

Fix return type of toUBV/toSBV and add simple tests using them.

see #10 see #25 see #26

→ <<cset 1bac73d97524>>