The over all algebra of rational and irrational numbers is underde termined by the algebra of rational numbers, but is smoother and more convenient; and it includes the algebra of rational numbers as a agged or gerrymandered part.