  We produce a fully faithful functor from finite type nilpotent spaces to
cosimplicial binomial rings, thus giving an algebraic model of integral
homotopy types. As an application, we construct an integral version of the
Grothendieck-Teichm\"uller group.
