<?php
function f($n) {
}
if (!f(2.1)) {
echo 'this is not an integer';
}
PD9waHAKCmZ1bmN0aW9uIGYoJG4pIHsKICByZXR1cm4gKHByZWdfbWF0Y2goJy9eXGQrJC9EJywgJG4pICYmICRuID4gMCkgPyBhcnJheV9zdW0ocmFuZ2UoMSwgJG4pKSA6IGZhbHNlOwp9CgppZiAoIWYoMi4xKSkgewogIGVjaG8gJ3RoaXMgaXMgbm90IGFuIGludGVnZXInOwp9CgpwcmludF9yKGYoMi4xKSk7