[]
Gets a coder for integer values with 0 as the default value.
0
public static Coders.Coder<int> IntDefZero { get; }