FPVector construction #46
Description
While preparing #36 for merge I have a discovered two issues with FPVector.
RoundingMode.RNA (round ties away from zero) rounds everything away from zero not just ties
FPVector(<LITERAL>) seems to return the wrong value sometimes although I haven't really worked out exactly why.
One solution would be to use z3 and its constant propegation to implement FPVector but it will be much slower.
As far as I can tell reinterpret_from_bv is always correct so we should be fine for the time being.