Here we might want to add a comment stating that `long long` is >= 64bits