Always use Int32.