Searching for decimal library for RP Pico

[blackjetrock]

I'm looking for a decimal library that I can use on the raspberry Pi Pico. This microcontroller has 250K or so of RAM and 2M byte of flash.

I've tried the Intel decimal library and that is just too big. Adding the 147000 line file full of constants push it over the limit of flash by 855K bytes.

I've also tried libbf which worked fine until I tried 1000 sqrts in a loop and got a memory error. I suspect either a memory leak or fragmentation problems there.

I'm not really after arbitrary precision, just a decimal encoding of numbers so that I can code a calculator. A library that has 13-32 digits, or is configurable at compile time and decimal encoding would be perfect. And small enough to fit in a microcontroller and preferably having no malloc() calls. And in C.

Andrew