500
Cannot convert working-by-faith to a BigInt