I have friends who have used Saxon for years and are very, very happy with it. Saxon's circular pattern and constant review is exactly what they love about it. However, it was this circular pattern that caused problems for us. The way Saxon works (someone please correct me if I'm off base here) is that it introduces a new concept in increments, the child works a set of problems that teach a new concept, then spends the rest of the lesson reviewing previously learned concepts.
Saxon 2 covers the arithmetic topics of addition and subtraction of one and two digit numbers and simple multiplication and division as well as the related topics of patterns, graphing, time, measurement, money, geometry and estimating. Although it uses manipulatives it is not a "manipulatives-based" program.
Miquon Math is a series of 6 math workbooks designed to be used in 1st through 3rd grade. They are named by color and not by grade level, so that an older child can use them without feeling they are "remedial". The workbooks are designed to be used with Cuisenaire Rods. I have had the books for a couple of years but have only started using them this year as a supplement for my 3rd and 4th graders. I hesitated using them before because they have an unusual format -- the pages don't necessarily have to be done in order, and are grouped by topic rather than in sequential chapters.