Again, we should initialise to zero in this ctor, even though we set it in the public class ctor later, just to be safe.