Distortion caused by saturation is possible for Euclidean Distance computation. Since the input values are provided at runtime, no compile-time error can be issued for this hazard, so the user must ensure that saturation does not occur.