Does Semver's spec take into account integer overflows?