おれは詳しく知らんが、convert-double-hex のほうは format あたりで何と
かならんの？