The specification makes no statement regarding in which precision, say, device coordinates and window coordinates are calculated from clip coordinates. We have precision specifications for the clip coordinates and for the data in the framebuffer images but this is practically all useless unless we know how precision is preserved.