On 31/10/13 14:55, אלעזר wrote: > [Alexander Belopolsky] >> What would 1.e50 mean under your proposal? > > Well that seems to kill it :-(. In hindsight, things might have been better if the decimal point were required to have at least one digit after it, but it's probably too late to change that now. -- Greg