<?php
$val = '12.2';
if (is_int($val)) {
echo true;
} else if (is_string($val)) {
if (! ctype_digit($val) && (! ctype_digit(substr($val, 1)) || substr($val, 0, 1) != "-")) {
echo false;
}
} else {
echo (is_double($val) && floor($val) == $val);
}
echo true;
- Output for 4.3.0 - 4.3.11, 4.4.0 - 4.4.9, 5.0.0 - 5.0.5, 5.1.0 - 5.1.6, 5.2.0 - 5.2.17, 5.3.0 - 5.3.29, 5.4.0 - 5.4.45, 5.5.0 - 5.5.38, 5.6.0 - 5.6.28, 7.0.0 - 7.0.20, 7.1.0 - 7.1.33, 7.2.0 - 7.2.33, 7.3.0 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
- 1
preferences:
278.73 ms | 406 KiB | 401 Q