fix very large floats in ffi