Notes for the BigInt project.