if ($variable<0 || $variable != int($variable)) {