[xapata]

Ah, yes `6 * 2 ^ (31 / 4)` is much larger than 100. Good point.