Add the C++20 header `<numbers>` or a subset thereof, which (st least for a partial implementation) is very simple.