Precise root-mean-square radius of He 4