aern2-mp-0.2.2.0: Multi-precision ball (interval) arithmetic