My script pushes zeros to end of an int array. I'd like to be reviewed on efficiency, style, and obviously if there is a bug I would like to know.def nonzero(a):  ''' given an array of ints, push all zeros to the end '''  zeros = [0 for i in range(a.count(0))]  x = [ i for i in a if i != 0]  x.extend(zeros)  return(x)
Push all zeros to tail of int array
python