I see this line bigint were requested by the wasm_of_caml toolchain.
Is there an elaboration on this somewhere? bigint usage (and especially performance sensitive usage) is pretty rare AFAIK.
Also, why are all the bigint arithmetic operations required, but none are required for number?