DOUBLE_UINT        46 maint/gnulib/tests/test-round2.c # define DOUBLE_UINT uint64_t
DOUBLE_UINT        54 maint/gnulib/tests/test-round2.c # define DOUBLE_UINT uint32_t