MPFRはGMPのmpf_t型に関する計算を含む形で拡張されているので、 GMPだけで閉じたいとかでないようなら、 MPFRを使うことも検討した方がいいかもしれない。 でもこの場合はやりたければ簡単に計算の丸めを制御できるくらいで、 あまりMPFRにする意味はないか…