Use machine independent datatypes

[jonasstein]

substitute machine dependent datatypes like int with fixed ones like uint64_t
This is not difficult but we should have some tests first.

#include <cstdint>
std::uint64_t mycounter;