A BigNum library for JavaScript