Что выведет на экран этот скрипт?

$numeric = 42; 
$type = gettype(gettype($numeric + 0.0)); 
echo $type;