A library for pure integer arithmetic