User blog comment:Simplicityaboveall/The Construction of Extremely Large Numbers/@comment-29014792-20160725123955/@comment-29014792-20160725160734

R(10^x,10) = f_{w^K[x]}(10)