Module js_bigint