Note that this is the only problem that we found in fuzzing.  (a very large extension size wrapping around.)