Comment by naasking

> However, when you're building financial systems, there's absolutely no room for mistakes

Then I can assume that all of your financial software has verification proofs and/or is fully model checked? If not, then clearly there is room for mistakes even in finance.