Needs to overload divMod to avoid negate in default impl
Add nonEmptyLength