This seems to imply that there usually is a range checking when serializing. AFAIK, that is never the case.