html: simplify putint() by extracting digits()