The Nim hole will go live in approximately 42 hours. Why not try and solve it ahead of time?
√2 in Common Lisp in bytes.