Fix bug: display-xexpr should render integers as &#nn;

`read-html-as-xml` will convert &#nn; to the integer nn. We need to do
the reverse.