Searched defs:double_rounding_example1 (Results 1 – 1 of 1) sorted by relevance
4577 const char* double_rounding_example1 = "0x100000100000008"; in TEST() local5208 const char* double_rounding_example1 = "04000000040000000010"; in TEST() local