Searched refs:DOUBLE_SIGNIFICANT_BITS (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ | ||
H A D | ec_public.h | 145 #define DOUBLE_SIGNIFICANT_BITS 53 macro 147 #define DOUBLE_INT_LIMIT (WSUF(1) << DOUBLE_SIGNIFICANT_BITS) |
Completed in 26 milliseconds