We don't currently have a good way of encoding special characters (i.e. `*` and `#`) in a `ShortPhoneNumber`. We'll probably need that eventually.