Update Ex_2.3_htoi.rst