Add missing file- int32.hh