mant1             178 src/number.c           unsigned long mant1:32;
mant1             189 src/number.c           unsigned long mant1:32;
mant1             197 src/number.c           unsigned long mant1:32;
mant1             221 src/number.c               dd.components.mant0 == 0 && dd.components.mant1 == 0
mant1             244 src/number.c           values[0] = dd.components.mant1;