$num == int($num);