remarks on number formats and choices made in language specification