Perfect is the enemy of good.
Precision and exactitude and formally proven correct software can exist in some problem domains, and it's kind of silly to not achieve that when it's achievable.
"You have to get lucky every time. We only have to get lucky once".