12.50
FLOAT
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
if(preg_match('/[\\.eE]/',$inputText)) echo 'FLOAT'; else echo 'INT';
?>
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
if(preg_match('/[\\.eE]/',$inputText)) echo 'FLOAT'; else echo 'INT';
?>