IPvFuture: use Natural instead of Integer for the literal format version number.