On writing type size in its name

[beroal]

Since number type sizes are powers of 2, I propose to denote a number type of size 2**N by int${N}. int7 is much shorter than, say, int128. (The word int is not important here. Replace it with i, Word, or whatever you want.)

Comments

связка с Мерсенном

[ext_5819484]

Вижу связь с этим:
есть такие числа, как числа Мерсенна: 2^p - 1, и само оно простое.
48 (или чуть более) найдено, есть число-дробилка.

Если стартовать с 2, и все время возводить в степень, то тоже получается интересно,

x -> 2^x - 1

2 -> 3 -> 7 -> 127 -> 2^127 - 1 - вот эти все простые
2 ^ (2 ^ 127 - 1) - 1 как следующее, и оно огромное. Ничего про него не известно