• Womble@piefed.world
    link
    fedilink
    English
    arrow-up
    13
    arrow-down
    4
    ·
    2 days ago

    Single floats sure, but doubles give plenty of accuracy unless you absolutely need zero error.

    For example geting 1000 random 12 digit ints, multiplying them by 1e9 as floats, doing pairwise differences between them and summing the answers and dividing by 1e9 to get back to the ints gives a cumulative error of 1 in 10^16. assuming your original value was in dollars thats roughly 0.001cent in a billion dollar total error. That’s going deliberately out of the way to make transactions as perverse as possible.

    • Treczoks@lemmy.world
      link
      fedilink
      arrow-up
      22
      arrow-down
      1
      ·
      2 days ago

      Nope. With about a hundred thousand factored items, things easily run off the rails. I’ve seen it. Just count cents, and see that rounding errors are kept in close, deterministic confines.

      • jasory@programming.dev
        link
        fedilink
        arrow-up
        4
        arrow-down
        1
        ·
        1 day ago

        You can use Kahan summation to mitigate floating point errors. A mere 100 thousand floating point operations is a non-issue.

        As a heads up computational physics and mathematics tackle problems trillions of times larger than any financial computation, that’s were tons of algorithms have been developed to handle floating point errors. Infact essentially any large scale computation specifically accounts for it.

        • Treczoks@lemmy.world
          link
          fedilink
          arrow-up
          6
          ·
          1 day ago

          Yep. And in accounting this is done with integers. In my field (not accounting), calculations are done either in integer or in fixed-point arithmetic - which is basically the same in the end. Other fields work with floats. This variety exists because every field has its own needs and preferences. Forcing “One size fits all” solutions was never a good idea, especially when certain areas have well-defined requirements and standards.

        • soc@programming.dev
          link
          fedilink
          English
          arrow-up
          3
          ·
          1 day ago

          Yeah, but compared to counting money, nobody cares if some physics paper got its numbers wrong. :-)

          (Not to mention that would require the paper to have reproducible artifacts first.)

          • jasory@programming.dev
            link
            fedilink
            arrow-up
            1
            ·
            8 hours ago

            Physics modeling is arguably the most important task of computers. That was the original impetus for building them; artillery calculations in WW2.

            All engineering modeling uses physics modeling, almost always linear algebra (which involves large summations). Nuclear medicine—physics, weather forecasting—physics, molecular dynamics and computational chemistry—physics.

            Physics modeling is the backbone of modern technology, it’s why so much research has been done on doing it efficiently and accurately.

          • azolus@slrpnk.net
            link
            fedilink
            English
            arrow-up
            2
            ·
            17 hours ago

            We’re using general relativity to calculate sattelite orbits - fuck your point of sale system if our sattelites come crashing down we’re gonna have much bigger problems lol.

      • Womble@piefed.world
        link
        fedilink
        English
        arrow-up
        3
        arrow-down
        6
        ·
        edit-2
        2 days ago

        You are underestimating how precice doubles are. Summing up one million doubles randomly selected from 0 to one trillion only gives a cumulative rounding error of ~60, that coud be one million transactions with 0-one billion dollars with 0.1 cent resolution and ending up off by a total of 6 cents. Actually it would be better than that as you could scale it to something like thousands or millions of dollars to keep you number ranger closer to 1.

        Sure if you are doing very high volumes you probably dont want to do it, but for a lot of simple cases doubles are completely fine.

        Edit: yeah using the same million random numbers but dividing them all by 1000 before summing (so working in kilodollars rather than dollars) gave perfect accuracy, no rounding errors at all after one million 1e-3 to 1e9 double additions.

        • Treczoks@lemmy.world
          link
          fedilink
          arrow-up
          5
          arrow-down
          1
          ·
          2 days ago

          The issue is different. Imagine you have ten dollars that you have to spread over three accounts. So this would be 3.33 for each, absolute correctly rounded down. And still, a cent is missing in the sum. At this point, it is way easier to work with integers to spread leftovers - or curb overshots.

          • FizzyOrange@programming.dev
            link
            fedilink
            arrow-up
            3
            arrow-down
            1
            ·
            1 day ago

            That doesn’t make any sense. As you say, in that case you have to “spread leftovers”, but that isn’t really any more difficult with floats than integers.

            It’s better to use integers, sure. But you’re waaaay over-blowing the downsides of floats here. For 99% of uses f64 will be perfectly fine. Obviously don’t run a stock exchange with them, but think about something like a shopping cart calculation or a personal finance app. Floats would be perfectly fine there.

            • Amju Wolf@pawb.social
              link
              fedilink
              arrow-up
              3
              ·
              1 day ago

              As someone who has implemented shopping carts, invoicing solutions and banking transactions I can assure you floats will be extremely painful for you.

              A huge benefit of big decimals is that they don’t allow you to make a mistake (as easily) as floats where imprecision just “creeps in”.

          • Womble@piefed.world
            link
            fedilink
            English
            arrow-up
            2
            ·
            1 day ago

            I fail to see a difference there, 10.0/3 = 3.33333333333 which you round down to 3.33 (or whatever fraction of a cent you are using) as you say for all accounts then have to deal with the leftovers, if you are using a fixed decimal as the article sugests you get the same issue, if you are using integer fractions of a cent, say milicents you get 1000000/3 = 333333 which gives you the exact same rounding error.

            This isnt a problem with the representation of numbers its trying to split a quantity into unequal parts using division. (And it should be noted the double is giving the most accurate representation of 10/3 dollars here, and so would be most accurate if this operation was in the middle of a series of calcuations rather than about to be immediately moving money).

            As I said before, doubles probably arent the best way to handle money if you are dealing with high volumes of or complex transactions, but they are not the waiting disaster that single floats are and using a double representation then converting to whole cents when you need to actually move real money (like a sale) is fine.

            • Treczoks@lemmy.world
              link
              fedilink
              arrow-up
              2
              arrow-down
              4
              ·
              1 day ago

              I fail to see a difference there

              That I noticed some posts ago. The issue has not changed since then.

              • Womble@piefed.world
                link
                fedilink
                English
                arrow-up
                3
                ·
                1 day ago

                And so instead of explain why and clarify any misunderstanding you chose to snarkily insult my intelligence, very mature.

                  • Womble@piefed.world
                    link
                    fedilink
                    English
                    arrow-up
                    1
                    arrow-down
                    1
                    ·
                    21 hours ago

                    No you spouted some stuff about “trust me I’ve seen it” (almost certainly relating to using single floats) then an irrelevant tangent about how ten doesnt divde cleanly into three and how thats a problem for floats, when you have exactly the same problem with fixed point/integer division.

                    Do you have an actual example of where double precission floats would cause an issue? Preferably an example that could be run to demonstrate it.