I think it is probably easier to just use it for specific instructions and then spot check the results.

It isn't something like a compiler plugin that automatically rewrites your code, it just spits out alternative formulations when you give it a math expression...

It also can show you a graph of the error as a function of input value, which is pretty helpful.