Okay that sounds awesome! I thought the processor included FP instructions because this repo says the VexRiscv processor has the F[D] extension. I am working on a project where the user area has floating point hardware and I think it would be interesting to provide software that interfaces with it.

The VexRISC supports floating-point, but only if you enable it in the parameters when you synthesize it. We're trying to keep the size of the processor as small as we can make it so that we give more space to the user project.