Anyone use MicroWorlds for Elementary Math Enrichment??

I'm starting a pull out math enrichment program for nine gifted second graders. They will be learning different strategies for problem solving, etc. I had heard of the computer program MicroWorlds that some schools use for their Talented and Gifted programs. Any help would be appreciated or what kinds of materials/topics do you use for G&T elementary programs?