Large sum: use double instead of BigInt