- settype: documentation ( source)
<?php
$val = '1 ';
$type = 'double';
$old = $val = ($val === FALSE ? '0' : (string) $val);
settype($val, $type);
if ($old !== ($val === FALSE ? '0' : (string) $val)) {
echo 'ne';
} else { echo 'jo'; }