added comment about 'decimal-number' being instructive