Francesco Casella
Francesco Casella
@bilderbuchi this should be now fixed with the 1.23.0-dev nightly build. Please check.
This is weird. There is actually no conversion involved in this case: 950 has an exact representation in IEEE 754 double precision, so multiplying or dividing it by 1.0, which...
I agree that we should have a system in place that can handle the rounding of multiple conversions nicely, though I find it sub-optimal that in case there is a...
@adeas31 I think I know what is going on here. The problem is that you are carrying out *two* conversions in a row, which both introduce rounding errors. The first...
See, e.g., [this link](https://medium.com/featurepreneur/webtop-running-linux-desktop-inside-a-container-in-the-browser-d8de91192276).
> but also the following does the same, > > ``` > d = 0.95; > d = d/0.001; > print_ryu(d); > ``` > > So i don't think the...
We could also improve print_ryu(d) as follows - convert d to x.xxxeyy using ryu, as currently done - let rd = round(x.xxxxx*1e14)/1e14 - convert rd to z.zzzzeww using ryu -...
@paultjevdh I understand this is what you were looking for on #8105, feel free to add further comments here.
I did some experiments with the following test case ``` model ClockedExamples2 Real x, y, z, w, v; equation x = sin(time); y = sample(x, Clock(1.0)); z = sample(x, Clock(1.5));...