Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic (2016)arxiv.org·78 pts·helltone·42