Searched refs:NegativeZero (Results 1 – 1 of 1) sorted by relevance
195 char NegativeZero[] = "-0.000000e+00"; in write_double() local197 NegativeZero[strlen(NegativeZero) - 4] = 'E'; in write_double()198 S << NegativeZero; in write_double()206 char NegativeZero[] = "-0.000000e+00"; in write_double()208 NegativeZero[strlen(NegativeZero) - 4] = 'E'; in write_double()209 S << NegativeZero; in write_double()