The OP didnt actually say if the number in question was coming from an input stream of some sort or an internally generated one. If it was internally generated one then

if (int($num)==$num) {
[download]

would seem to be a little better.

--- demerphq
my friends call me, usually because I'm late....