fix the types of some integer constant limits in headers