I am not sure about the difference between them; I replaced it with ``is_Integer``