Library for validated numerics using interval arithmetic

Extended precision math, accurate and performant

These integer types use checked arithmetic, otherwise they are as system types.

Interface for arithmetics on mutable types in Julia

Error-free transformations are used to get results with extra accuracy.

An RPN calculator for the Julia REPL

Convenient literal expressions for large numbers