iexpt10_initialized 1508 src/number.c   static int    iexpt10_initialized = FALSE;
iexpt10_initialized 1523 src/number.c       iexpt10_initialized = TRUE;
iexpt10_initialized 1527 src/number.c       do { if (!iexpt10_initialized) iexpt10_init(); } while (0)