On 21/03/2022 12.30, Aaron Ballman wrote:
> Also, I disagree that WG21
> has a continued absence of interest in the details of floating-point
> given https://wg21.link/p1467; it seems like WG21 is wading rather
> directly into that space these days.

This paper is making a substantial effort to sidestep most of the
detailed (and interesting) questions by essentially giving names to
IEEE 754-defined types.

Jens