Since implementations are allowed to round all ceiling priorities inSystem.Priority'Range up to System.Priority'Last (see D.3)], ...
I think this wording is clearer. You know the RM is sometimes especially hard to understand since its audience is mainly language lawyers, but we simple software engineers have to understand it as well.
Christoph
