@antoviaque The default is implicitly 0 for the Integer type. Do you prefer we always put it in the class definition also?