Use python version of ascii_strtod