pi day '23: The first 1000 digits of Pi | ScratchStats