Message250830
| Author |
mark.dickinson |
| Recipients |
mark.dickinson, pitrou, serhiy.storchaka, tim.peters, vstinner |
| Date |
2015年09月16日.08:41:04 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1442392865.06.0.0978674421754.issue25129@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
> What is the rounding mode used by true division, by the way?
Probably not what you were asking, but with respect to true division of integers (int / int -> float), we always use round-half-to-even. Any deviation from that (non-IEEE 754 platforms excepted) is a bug that should be reported. |
|