Searched refs:shift64 (Results 1 – 1 of 1) sorted by relevance
341 const double shift64 = 18446744073709551616.0; //2^64 in operator double() local344 if (lo == 0) return (double)hi * shift64; in operator double()345 else return -(double)(~lo + ~hi * shift64); in operator double()348 return (double)(lo + hi * shift64); in operator double()