Re: [math-fun] Asymptotically zero memory wasted inside dictionaries