You could do that just fine if you index the decimal places with something like 2ω instead of the natural numbers - I think this gives you the dual numbers (actually not quite but I think you can get there with some extra tweaking). We do have number spaces that have some of the behaviours people expect of the reals here, but the ordinary reals are not they.
no subject
Date: 2009-02-20 09:50 am (UTC)