Add formal specification of what c_strtod, c_strtold do.