[round-a-value.https.window.html]
  [Check adCost is stochastically rounded with 8 bit mantissa and exponent.]
    expected: FAIL

  [Check bid is stochastically rounded with 8 bit mantissa and exponent.]
    expected: FAIL

  [Check desirability is stochastically rounded with 8 bit mantissa and exponent.]
    expected: FAIL

  [Check highestScoringOtherBid is stochastically rounded with 8 bit mantissa and exponent.]
    expected: FAIL

  [Value is ignored as a non-valid floating-point number.]
    expected: FAIL

  [Value is rounded to 0 if value is greater than 0 and its exponent is less than -128.]
    expected: FAIL

  [Value is rounded to -0 if value is greater than 0 and its exponent is less than -128.]
    expected: FAIL

  [Value is rounded to Infinity if value is greater than 0 and its exponent is greater than 127.]
    expected: FAIL

  [Value is rounded to -Infinity if value is less than 0 and its exponent is greater than 127.]
    expected: FAIL