Oh, thank you. Knowing very well that 2^32 is around 4 billion, I should have immediately noticed that 12345678910987654321 is way to big to be 2^31