Fix some x87 tests