[math-fun] Buffon bijection?