I am weakly against this check because PKCS doesn't restrict its value and other standards restrict to values such as `>2**16`.