spec: Use "non-negative" instead of "positive"

Replacing division-by-power-of-2 with right-shift is valid for
zero too.

R=gri
CC=golang-dev
https://codereview.appspot.com/7027049

Committer: Robert Griesemer <gri@golang.org>