CH32V arduino support issue

The way I see it,

→ not possible without programming your own floating point lib, or using a better one, or at least sine function, using e.g. fixed point math.

You may get some ideas for it in https://www.youtube.com/watch?v=hffgNRfL1XY or https://www.youtube.com/watch?v=xFKFoGiGlXQ or https://github.com/pulp-platform/RVfplib.

Edit: the RVfplib is actually uncompilable for -march=rv32ecxw -mabi=ilp32e (what ch32v003 uses), it relies on rv32imc instructions. The core doesn’t have that.