Issue #25604: Fix minor bug in integer true division, which could

have caused off-by-one-ulp results on certain platforms.