Remove superfluous type annotations from some integer literals