User blog comment:Superman37891/Request for a new rule/@comment-30754445-20170605000835/@comment-3427444-20170605170619

Actually, the comment mentioned here does define a specific number, as it's defined using the fast-growing hierarchy but with the base case changed to use Rayo's function.