get a few more things working with checked integer conversions