New CTAN package: bigints