modified 2 cons, BigInt for int, value