Clarify division operator rounding

[fdwr]

Minor clarification that div expects to round toward zero (truncation), rather than say being floored to negative zero like Numpy's floor_divide.

---

Preview | Diff

[fdwr]

 $ bikeshed --die-on=warning spec "index.bs" "index.bs.built.html" 
  FATAL ERROR: Line 8439 isn't indented enough (needs 1 indent) to be valid Markdown:
  "</dl>"
   ✘  Did not generate, due to errors exceeding the allowed error level.

Err, this line in MLResample2dOptions hasn't changed for 10 months, and its indentation count does align with the opening <dl> on line 8410. 🤔 I wonder if this is a new bikeshed change. I don't see it in previous PR's. Will need to play around with it... ⏳

[dontcallmedom]

re bikeshed error, see https://lists.w3.org/Archives/Public/spec-prod/2025OctDec/thread.html#msg4 - bikeshed updates including in the parsing code

[anssiko]

Indentation is indeed correct. One possible workaround is to add an empty line before the closing </dl> on line 8439.

[fdwr]

Thanks @dontcallmedom and @anssiko 👍.

[fdwr]

@huningxin : I'm going to merge this as it's really minor editorial, and it cleans up the build failure for Bruce's PR too. If you have any feedback, I'll follow up with a new PR.