Ah, of course. Still, this definition gets you to something stricter still -- the "things that normal people think of as numbers" are closed under those operati

Ah, of course. Still, this definition gets you to something stricter still -- the "things that normal people think of as numbers" are closed under those operations. (Depending on what happens for overflow and 0/0, I guess.)