Fac ← ◌◌⍢(⊃(∘|-|⋅×)|⋅>₀)⊙⊙1 # step base
≡(≡˜Fac+1⇡10)+1⇡5