isabella 1741983268 learn # for _ in {1..10000}; do ((count+=RANDOM**2+RANDOM**2<=0x7fff**2)); done; echo
isabella 1741983291 forget
isabella 1741983296 learn # for _ in {1..10000}; do ((count+=RANDOM**2+RANDOM**2<=0x7fff**2)); done; echo $((count*4))