Verify Accuracy of inexact->exact Conversions

[peblair]

Currently, we perform inexact->exact conversions of floating point numbers using int32/int64s. We should verify that the accuracy of this conversion cannot be improved by using BigInts instead (if it can be, we should switch to those).