strtod() implementation available in the environment does not handle hex floats. Discussed with and suggested by christos