number: constant
A KIF number.