4 Dec
2022
4 Dec
'22
12:04 a.m.
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.