はじめまして。お返事ありがとうございます。
恥ずかしながらf64という存在を初めて知りました。
早速HPで調べてみたら、色々あるのですね。どちらも使いやすいでしょうというお言葉、ありがとうございます。

トートタイプに限定せず、捜してみたいと思いました。