/griks/ (WPI) A meta-number, said to be an integer between 6

and 7. Used either alone or with flib or suffixes such as

-ty, -teen, etc. to denote an arbitrary integer (see N).

"This system will bomb if there are grixty-flib users on

it."