NYI: max is redefined here only to solve repeated inheritance conflict. Since max inheritedfrom hasInterval i8 is abstract, fz should not complain about this conflict.redefines i8s.max:redefines wrappingIntegers.max: