I don't think most of the programmers or managers knows about this, they just assume computation is right; and for sure the correctness check of the bank balanc

I don't think most of the programmers or managers knows about this, they just assume computation is right; and for sure the correctness check of the bank balance is done on the application level.