Lines Matching defs:Double
41 class Double {
51 Double() : d64_(0) {}
52 explicit Double(double d) : d64_(double_to_uint64(d)) {}
53 explicit Double(uint64_t d64) : d64_(d64) {}
54 explicit Double(DiyFp diy_fp)
57 // The value encoded by this Double must be greater or equal to +0.0.
65 // The value encoded by this Double must be strictly greater than 0.
89 if (d64_ == kInfinity) return Double(kInfinity).value();
95 return Double(d64_ - 1).value();
97 return Double(d64_ + 1).value();
150 // Precondition: the value encoded by this Double must be greater or equal
160 // Precondition: the value encoded by this Double must be greater than 0.