Uses work on children's counting schemes and a radical constructivist orientation to describe the development of computer microworlds for the teaching of rational numbers. Suggests that the design of complex software systems needs a strong theoretical background to provide direction for the design. Suggests that computer environments are the result of choices constrained by the model. (AA)