It's 2014, yet N3797 24.4.1 [iterator.traits]/4 says:

[ Note: If there is an additional pointer type __far such that the difference of two __far is of type long, an implementation may define

  template<class T> struct iterator_traits<T __far*> {
    typedef long difference_type;
    typedef T value_type;
    typedef T __far* pointer;
    typedef T __far& reference;
    typedef random_access_iterator_tag iterator_category;
  };

-end note ]

This non-normative text is unproductively bulking up the Standard, and we don't need it anymore. The (hopefully nonexistent) people who still have far pointers don't need to be told how to implement them, since this work was done back in the 80s. The 1880s.

I'll open a Library Issue if you think this is too controversial to be done editorially.