grix
/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."
(1995-01-31)