$numero=double($stringa);