Update strong_int.hh