Added a function to convert int32 to file