$f=is_float($x)
