Update integer_types.cpp