library for working with big integer numbers