Template:Ada/Integer subtypes diagram