OFFSET
0,1
LINKS
Eric Weisstein's World of Mathematics, Icosidodecahedron
Eric Weisstein's World of Mathematics, Spherical Polygon
FORMULA
Equals 2*Pi - 5*arctan(2).
Equals (Pi - 5*A319881)/3.
EXAMPLE
0.74744171820913396183995946566632056804410057174304...
MATHEMATICA
RealDigits[2*Pi - 5*ArcTan[2], 10, 80][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Bradley Klee, Sep 30 2018
STATUS
approved