Tiny-FPU: Low-cost floating-point support for small RISC-V MCU cores