Add overflow analysis to field_5x52_int128_impl.h