roundup(log 23 / log 2)