treat int64, uint64 arguments as int.