added support for numbers in HTML attributes