"; var_dump($num4);//Êä³ö£ºfloat(2.5) ?>