It's a bit harder than that as the root partition is a compressed filesystem, so the size reported by the debian packaging tools may not correspond to the size it actually uses.