doc and test updates for checked integer conversions