[avgcorrection]

> If you knew more about the details of binary64 aka float64, you could confidently say that "2.3" means 2.29999995231628417969 […]"

Then I think writing

    let f = 2.3;

Should be a compile error. The compiler should force you to write the “snapped” value in order to not mislead. :)

[a_e_k]

Now try writing the "snapped" value for 2.3 as a finite decimal. :-)

[avgcorrection]

Something other than 2.29999995231628417969 ?