[math-fun] Recent simple packing and covering improvements