In #804 we added support for fast math intrinsics but in the positive test cases for multiplication and division we could not compare the results with regular multiplication/division due to poor CBMC performance.