While the type is specified as signed int, I must suspect that a negative Key would make some lives more difficult.

So my vote is for restricting bit 31 to 0. It is not a strong opinion, though.

- rick