[run-in-float-between-001.xht]
  expected: FAIL