$f=is_int($x)
