Our C protover code will reject any attempt to create a protover range ending with UINT32_MAX. But our spec says that we allow that. I suggest that, since this case is basically unreasonable, we should amend the spec to reject it, and amend the code to reject it explicitly. Found by Teor.