Why the GOV.UK Design System team changed the input type for numbers – Technology in government