User blog comment:Upquark11111/An Explanation of Loader's Number/@comment-11227630-20171208161135/@comment-26454151-20171209043633

That would be correct. In de Bruijn indices (which Loader uses in his program), $$\mathrm{nat} = \Pi \ast. \Pi \Pi 0.1. \Pi 1.2$$.