File Explorer

/proc/self/task/5/root/usr/share/gawk

This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.

0 dirs
27 files
have_mpfr.awk221 B · 10 lines
# adequate_math_precision --- return true if we have enough bits## Andrew Schorr, aschorr@telemetry-investments.com, Public Domain# May 2017 function adequate_math_precision(n){    return (1 != (1+(1/(2^(n-1)))))}