hypre: add "with-bigint" option