Addition of self with i

Property definitions

core $ Numeric :: +
	# Addition of `self` with `i`
	fun +(i: OTHER): OTHER is abstract
lib/core/kernel.nit:437,2--438,35

core $ UInt32 :: +
	redef fun +(i) is intern
lib/core/fixed_ints.nit:606,2--25

core $ Int8 :: +
	redef fun +(i) is intern
lib/core/fixed_ints.nit:122,2--25

core $ Int16 :: +
	redef fun +(i) is intern
lib/core/fixed_ints.nit:243,2--25

core $ UInt16 :: +
	redef fun +(i) is intern
lib/core/fixed_ints.nit:364,2--25

core $ Int32 :: +
	redef fun +(i) is intern
lib/core/fixed_ints.nit:485,2--25

gmp $ Ratio :: +
    #     assert("3/2".to_r + "5/2".to_r == 4.to_r)
    redef fun +(r) do
        var res = new NativeMPQ
        val.add(res, r.val)
        return new Ratio(res)
    end
lib/gmp/gmp.nit:320,5--325,7

core $ Byte :: +
	redef fun +(i) is intern
lib/core/kernel.nit:622,2--25

core $ Float :: +
	redef fun +(i) is intern
lib/core/kernel.nit:534,2--25

gmp $ BigInt :: +
    #     assert(2.to_bi + 2.to_bi == 4.to_bi)
    redef fun +(i) do
        var res = new NativeMPZ
        val.add(res, i.val)
        return new BigInt(res)
    end
lib/gmp/gmp.nit:153,5--158,7

core $ Int :: +
	redef fun +(i) is intern
lib/core/kernel.nit:723,2--25