public static Double fromStr(string s, bool check)
{
try
{
if (s == "NaN")
{
return(Double.valueOf(m_nan));
}
if (s == "INF")
{
return(Double.valueOf(m_posInf));
}
if (s == "-INF")
{
return(Double.valueOf(m_negInf));
}
return(Double.valueOf(s));
}
catch (FormatException)
{
if (!check)
{
return(null);
}
throw ParseErr.make("Float", s).val;
}
}