relax uint's ospec requirement now that 0.3.0 is broken

Without this, uint is unusable.