Bring up number keypad for port on mobile phones, URL for address

An alternative would be type="tel", which has bigger number buttons for me,
but it seems wrong to use.