Какие существуют методы проверки значений переменных перед выполнением арифметических операций?

Некоторые методы проверки значений переменных перед выполнением арифметических операций:

• Контроль за переполнением. intuit.ru Арифметические типы имеют ограниченные размеры, поэтому любая арифметическая операция может привести к переполнению. intuit.ru Чтобы его контролировать, в составе выражений используют ключевые слова, например, checked (включить контроль за переполнением) и unchecked (отключить контроль за переполнением). intuit.ru
• Проверка значения флага процессора. code-live.ru Этот способ работает, например, для процессоров Intel и позволяет отловить переполнение при выполнении арифметических операций. code-live.ru
• Проверка количества значащих цифр. intuit.ru Такой тест проводят для значений типа double и float. intuit.ru
• Проверка на допустимость выражения. stackoverflow.com Например, можно проверить, содержит ли строка только нужные символы, такие как числа и знаки арифметических операций. stackoverflow.com