Searched defs:double_rounding_example2 (Results 1 – 1 of 1) sorted by relevance
4585 const char* double_rounding_example2 = "0x1000002FFFFFFF8"; in TEST() local5216 const char* double_rounding_example2 = "04000000137777777770"; in TEST() local