Lines Matching defs:point
184 // we simply switch the first digit to '1' and update the decimal-point
185 // (indicating that the point is now one digit to the right).
192 // The given fractionals number represents a fixed-point number with binary
193 // point at bit (-exponent).
199 // generated by this function might be updated, and the decimal-point variable
207 // 'fractionals' is a fixed-point number, with binary point at bit
209 // is a fixed-point number, with binary point at bit 'point'.
213 int point = -exponent;
216 // Instead of multiplying by 10 we multiply by 5 and adjust the point
218 // Invariant at the beginning of the loop: fractionals < 2^point.
219 // Initially we have: point <= 64 and fractionals < 2^56
220 // After each iteration the point is decremented by one.
224 // time point will satisfy point <= 61 and therefore fractionals < 2^point
227 point--;
228 int digit = static_cast<int>(fractionals >> point);
231 fractionals -= static_cast<uint64_t>(digit) << point;
233 // If the first bit after the point is set we have to round up.
234 if (point > 0 && ((fractionals >> (point - 1)) & 1) == 1) {
241 int point = 128;
245 // point location.
248 point--;
249 int digit = fractionals128.DivModPowerOf2(point);
253 if (fractionals128.BitAt(point - 1) == 1) {
260 // If leading zeros are removed then the decimal point position is adjusted.