vijay also noted a spec bug: we don't have a maximum possible version number. should we force people to implement bignums, or specify that the max version number is, say, $MAXINT, or maybe UINT_MAX? dk