[Bug libstdc++/88111] libstdc++-v3 FTB for 16-bit int: memory_resource.cc pool_sizes expects >16-bit int/size_t

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88111

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jozef Lawrynowicz from comment #3)
> Your patch fixes the build, thanks.

Great, thanks for checking it.

I'll come up with a fix for Bug 88113 before I commit anything.