Searched refs:num (Results 1 – 1 of 1) sorted by relevance
529 double num; /* JS numbers are IEEE double precision */ in value_to_json() local532 num = (double)val; in value_to_json()535 num = -num - 1; /* convert to negative */ in value_to_json()536 if ((uint64_t)(-num - 1) != val) { in value_to_json()541 if ((uint64_t)num != val) { in value_to_json()546 … if (fprintf(out, "%.0f", num) < 0) /* this number has no fraction, so no decimal points please */ in value_to_json()
