Can you compile code that uses floating points using make verify on the caravel_user_project? Does the SoC even support that?