Удивительно, Delphi хорош именно этим. Он настолько скрупулёзно проверяет соответствие диапазонов типов как во время компиляции, так и в runtime, что иногда приходится очень тщательно выбирать типы для данных, чтобы исключить генерацию в целевом коде "лишние" преобразование типов и проверки.
Сужение данных. Продолжение борьбы с переполнением