dtoa: install the header.