The Importance of Precision in Programming: Lessons from Modulo Operations and Software Failures | Glasp