do we need GetInt/GetInt64 separately from GetInt?