$var_double=(double)$var;