Ada: припишите 'в последний раз и 'safe_large

очень распространено в Ada создать производный тип, говорят что новый тип Плавающий с последним элементом быть Float'Last. Я еще не видел, что кто-то использует Float'Safe_Large вместо атрибута Float'Last при определении нового типа Плавающего. На моей 32-разрядной машине, обоих

Put( Float'Image( Float'Last ));

и

Put( Float'Image( Float'Safe_large ));

возвратите меня значение 3.402.. E38

Я хотел бы знать различие между этими двумя атрибутами числа и возможно также, почему 'Safe_Large не является столь же наиболее часто используемым как атрибут 'В последний раз.

Большое спасибо...