>> Why not use and 64bit integer count instead of current 32bit?

Because tx number stored in the header of every record version.

> It is not only matter of transaction counters, but (mostly) number of
> TIPs in database. They are not reused.

This is not a problem at all. It is very possible to reuse TIP pages.

Regards,
Vlad