document number encoding

wrapping recent user@ discussion into the docs.