A "small" value that can be used with the field arithmetic library. This interface enables optimizations based on the fact that certain values are known to be small, where the definition of small is specific to the arithmetic implementation.