BEGIN { printf("%'d\n",123456789) printf("%'f\n",123456789) }