[c5525-fltmult-000.xht]
  expected: FAIL