Searched refs:SG_2_52 (Results 1 – 2 of 2) sorted by relevance
39 #define SG_2_52 (Sg__ConstObjes[0]) /* 2^52 */ macro
607 && (Sg_NumCmp(fraction, SG_2_52) > 0 in read_real()3904 if (Sg_NumCmp(f, SG_2_52) != 0) { in double_print()3916 if (exp == -1023 || Sg_NumCmp(f, SG_2_52) != 0) { in double_print()4133 SG_2_52 = Sg_MakeBignumFromS64(iexpt_2n52); in Sg__InitNumber()