printf("%'d", (int)whatever);