More explicit integer types