Further SFloat/SDouble infrastructure

In particular, add support for C-compilation and test-case generation