implement HTML5 number input

as referenced in the docs: http://laravel.com/docs/4.2/html#number
see: http://www.w3.org/TR/html-markup/input.number.html
accidental change?