Lars Erdmann has released (2020/10/27) a PSD (Platform Specific Driver) for the Warp4 kernel (single core) R6. It handles floating point exceptions via trap 16 instead of IRQ13, which uses the native CPU exception handling.
It contains its full source code.