Searched refs:NegativeZero (Results 1 – 1 of 1) sorted by relevance
196 char NegativeZero[] = "-0.000000e+00"; in write_double() local198 NegativeZero[strlen(NegativeZero) - 4] = 'E'; in write_double()199 S << NegativeZero; in write_double()207 char NegativeZero[] = "-0.000000e+00"; in write_double()209 NegativeZero[strlen(NegativeZero) - 4] = 'E'; in write_double()210 S << NegativeZero; in write_double()