Arbitrary-precision ball arithmetic using FLINT