mant0             175 src/number.c           unsigned long mant0:20;
mant0             188 src/number.c           unsigned long mant0:20;
mant0             198 src/number.c           unsigned long mant0:20;
mant0             221 src/number.c               dd.components.mant0 == 0 && dd.components.mant1 == 0
mant0             245 src/number.c           values[1] = dd.components.mant0;