Yeah so there's two methods: set hardware floating point mode like MIPS does or do rounding based off what the reg31 has in it, like interpreter does.