Le 03/02/2012 10:56, Jonathan Bober a écrit :
On Thu, Feb 2, 2012 at 1:16 PM, Julien Puydt <julien.pu...@laposte.net <mailto:julien.pu...@laposte.net>> wrote:Well, if I don't err, $10^{17}$ has 18 decimal digits, which is more than the 15,95.. that fit in 53 binary digits. It is not that simple. 15.95 digits is more like a guideline. At issue is whether the number in question can be exactly represented in double precision, and in this case it can be. You can check this (ignoring possible issues with the size of the exponent, which don't occur here) with:
Ah, yes ; I forgot powers of 10 contain powers of two and hence have a few zero digits at the end!
Snark on #sagemath -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
