User blog comment:Simplicityaboveall/The Construction of Extremely Large Numbers/@comment-25601061-20160725202417/@comment-1605058-20160725223114

I'm afraid this is not FGH, given that both defining rules of f are different from ones for FGH.