Parse post number (and some refactoring)

We can now parse number of the post. This is usually not required, but
becomes so after we go past the first page---we want a way to know what
number from the beginning of the frontpage a certain post has.