// If this value is above 0, we will round off explicitly at the very end
// of the shader.
extern int movit_num_wrongly_rounded;
// If this value is above 0, we will round off explicitly at the very end
// of the shader.
extern int movit_num_wrongly_rounded;