On Sat, Dec 3, 2022 at 7:34 PM John Maddock via Boost-users <boost-users@lists.boost.org> wrote:
On 03/12/2022 13:03, Ivan Matek via Boost-users wrote:


There's no such header at present, but I've just filed myself a ticket
as it seems like a good idea to me:
https://github.com/boostorg/multiprecision/issues/508



Thank you John,
we can discuss the issue further on github.