(F7)は、ふぃっしゅっしゅが2013年に考案した巨大数[1]である。ラヨ数の拡張であり、ふぃっしゅ数の中で最大である。ふぃっしゅ数バージョン4では、神託機械によってビジービーバー関数をより大きくした。ふぃっしゅ数バージョン7では、ラヨ数の定義で使われるマイクロ言語に神託式を追加する。関数\(f\)から関数\(RR(f)\)への汎関数RRを、以下のように定義する。使用可能な式に加えると、より強いラヨ関数gが得られる。fをgに変換する汎関数をRRとする。a番目のオブジェクトとb番目のオブジェクトに対して\("f(a)=b"\)が成り立つとなる。ここで、6番目の式が新しく加えた神託式である。