On Sunday, April 16, 2023 at 4:44:56 PM UTC-6 Nils Bruin wrote: On Sunday, 16 April 2023 at 14:31:43 UTC-7 aw wrote:
Awesome, let's talk about floating point semantics. [...] We zero-pad the 1.1 to whatever length is needed to match the other number. Because we see 1.1 as a shorthand for 1.1000000000000.... (infinitely many zeros) That's the ordinary-person semantics of the string "1.1". That's not floating-point semantics. That's just a funny way of writing 11/10. Those are also not the semantics that scientific calculators use (or excel for that matter), so I suspect that "ordinary persons" are already quite used to 1.1 not meaning an exact rational number but a possible approximation to something quite close to 11/10. You've got to be kidding. The only people who would look at "1.1" and see a value different than 11/10 are programmers who are up to their necks in the details of floating point implementations. Everybody else in the world looks at "1.1" and sees the value 11/10. As for the 11/10 interpretation not being "floating-point semantics": I don't care what you call it, it is one of Sage's big problems here. Call it float literal semantics, finite decimal string semantics, it doesn't matter what you call it. It is the right way to interpret "1.1", for 99%+ of Sage's users. So it's the interpretation you guys should be implementing as the default. -aw -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/d5565763-1d9b-4032-b323-9be3d403c143n%40googlegroups.com.
