昔のBASICのMKD$()/CVD()みたいなのを自作するしかないかなと思って倍精度の仕様見てみたけど…難しい。 まあMKD$()は64bitの2進数ではなく4文字の文字列（アスキーコード8bit×4）に変換する関数なのでちょっと趣旨は違いますが。