A big integer library for JavaScript