BigInt dependency in definition files