I think `num.downto(0)` is more readable