INT: use platform_int for np.repeat related (GH7975)