Hi Am 2025-07-28 15:35, schrieb Tim Düsterhus:
Similarly to my other email: This is false. 2**53 is exactly representable as float. Every power of two (<= 1024) is.
Small correction: That should've read `<= 1023` (or `< 1024`). Best regards Tim Düsterhus
