Searched defs:NegativeZero (Results 1 – 2 of 2) sorted by relevance
197 char NegativeZero[] = "-0.000000e+00"; in write_double() local
95 NegativeZero, global() enumerator [all...]