Any examples?

[adb-ads]

Hebimath compiles well for me with the removal of the malloc attribute. I am interested in using it for some large floating point arithmetic, but I am not seeing any examples on how to use it. I've looked at the check code and the bench code but I'm not seeing anything that resembles floating point. Could someone who knows how to use the hebimath library give an example of calculating and printing πr² or something simple like that?

Thanks.