Added some integer checker from CERT