Contact: aviboots(AT)netvision.net.il
42,236 questions
54,955 answers
573 users
$str = "3.141592"; $num = (float)$str; echo $num . "\n"; echo gettype($num) /* run: 3.141592 double */