2 ** (112 - log2(1e18))