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)