Fixed translation to permit generation of Integer instances
their initialisation.