On 6/20/2015 3:06 AM, Walter Bright wrote:
Apparently we need to roll our own version of strtod() and put it in Port.

We already do our own strtold(), so it should be straightforward.

Reply via email to