The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Sorry for the delay. We did not document with @since at all. Yet, there were a lot of additions before (in 1.4) and after (in 1.10), so, to be consistent, I guess we'd have to document them as well (possibly having to do detective work to find the right version). Not sure it is worth it...
Sorry for the delay. We did not document with @since at all. Yet, there were a lot of additions before (in 1.4) and after (in 1.10), so, to be consistent, I guess we'd have to document them as well (possibly having to do detective work to find the right version). Not sure it is worth it...