We use an unverified "read" in the parser, which could fail, for example if the Int is above MaxBound.