Coarse-grained spin density-functional theory: infinite-volume limit via the hyperfinite