[below-float3.html]
  expected: FAIL