Add rmq_rpushf