Postscript: Big Floats Index   <<   >>

 
   MAXDIGITS ← 80

   fi 3.14159e¯20
┌───────────────────┐
│┌───────────┬───┬─┐│
││3 1 4 1 5 9│¯25│1││
│└───────────┴───┴─┘│
└───────────────────┘

   ¯20 ⍕ +/ ÷ ! ⍳60
 2.718281828459046____E0

   ¯80 ⍕F +F/ ÷F !F fi ⍳60
2.7182818284590452353602874713526624977572470936999595749669676277240766303535476e0
   ' ',⎕d[A001113]    ⍝ OEIS A001113
 27182818284590452353602874713526624977572470936999595749669676277240766303535475945 ...

   !⍣¯1 ⊢ 1e80
58.92