Remove leading '+' when parsing BigInts.

I guess +1234 is illegal in Java 6, but not in Java 7. To be safe, we
always remove the leading '+' when parsing a BigInt.