Могут быть - и часто есть - различия между формулировкой спецификации и любой конкретной соответствующей реализацией. Английский является неточным языком для спецификации алгоритма.
Вы не можете указать, будет ли реализация, на которую вы смотрите, никогда переполняться до бита 33, или вы просто этого не видели. Утверждение, что вы видели встречную упаковку по модулю 2 ^ 32, было бы совсем другим заявлением.