Fix bug 623: inlining test_is_equal leads to failures with x87