The value of zero in the domain of self

Property definitions

core $ Numeric :: zero
	# The value of zero in the domain of `self`
	fun zero: OTHER is abstract
lib/core/kernel.nit:476,2--477,28

core $ UInt32 :: zero
	redef fun zero do return 0.to_u32
lib/core/fixed_ints.nit:623,2--34

core $ Int8 :: zero
	redef fun zero do return 0.to_i8
lib/core/fixed_ints.nit:139,2--33

core $ Int16 :: zero
	redef fun zero do return 0.to_i16
lib/core/fixed_ints.nit:260,2--34

core $ UInt16 :: zero
	redef fun zero do return 0.to_u16
lib/core/fixed_ints.nit:381,2--34

core $ Int32 :: zero
	redef fun zero do return 0.to_i32
lib/core/fixed_ints.nit:502,2--34

gmp $ Ratio :: zero
    #     assert((3.to_r).zero == 0.to_r)
    redef fun zero do return new Ratio(new NativeMPQ)
lib/gmp/gmp.nit:365,5--366,53

core $ Byte :: zero
	redef fun zero do return 0.to_b
lib/core/kernel.nit:641,2--32

core $ Float :: zero
	redef fun zero do return 0.0
lib/core/kernel.nit:544,2--29

gmp $ BigInt :: zero
    #     assert(11.to_bi.zero == 0.to_bi)
    redef fun zero do return new BigInt(new NativeMPZ)
lib/gmp/gmp.nit:254,5--255,54

core $ Int :: zero
	redef fun zero do return 0
lib/core/kernel.nit:738,2--27