323         let poison = base + SafeNum::MAX;  in test_addition_poison()  localVariable
324         assert!(u64::try_from(poison).is_err());  in test_addition_poison()
326         let a = poison - 1;  in test_addition_poison()
327         let b = poison - 2;  in test_addition_poison()
329         assert_eq!(a, poison);  in test_addition_poison()
330         assert_eq!(b, poison);  in test_addition_poison()
336         let poison = base - SafeNum::MAX;  in test_subtraction_poison()  localVariable
337         assert!(u64::try_from(poison).is_err());  in test_subtraction_poison()
339         let a = poison + 1;  in test_subtraction_poison()
340         let b = poison + 2;  in test_subtraction_poison()
342         assert_eq!(a, poison);  in test_subtraction_poison()
343         assert_eq!(b, poison);  in test_subtraction_poison()
349         let poison = base * SafeNum::MAX;  in test_multiplication_poison()  localVariable
350         assert!(u64::try_from(poison).is_err());  in test_multiplication_poison()
352         let a = poison / 2;  in test_multiplication_poison()
353         let b = poison / 4;  in test_multiplication_poison()
355         assert_eq!(a, poison);  in test_multiplication_poison()
356         assert_eq!(b, poison);  in test_multiplication_poison()
362         let poison = base / 0;  in test_division_poison()  localVariable
363         assert!(u64::try_from(poison).is_err());  in test_division_poison()
365         let a = poison * 2;  in test_division_poison()
366         let b = poison * 4;  in test_division_poison()
368         assert_eq!(a, poison);  in test_division_poison()
369         assert_eq!(b, poison);  in test_division_poison()
375         let poison = base % 0;  in test_remainder_poison()  localVariable
376         assert!(u64::try_from(poison).is_err());  in test_remainder_poison()
378         let a = poison * 2;  in test_remainder_poison()
379         let b = poison * 4;  in test_remainder_poison()
381         assert_eq!(a, poison);  in test_remainder_poison()
382         assert_eq!(b, poison);  in test_remainder_poison()