En ada tu peux créer un sous-type spécial pour ça :

subtype Apport_De_Kevin is Integer range Integer'First..-1;