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; } }