Очень часто в Ada создается производный тип, скажем, новый тип Float с последним элементом Float'Last. Я еще не видел, чтобы кто-то использовал Float'Safe_Large вместо атрибута Float'Last при определении нового типа Float. На моей 32-битной машине оба
Put( Float'Image( Float'Last ));
и
Put( Float'Image( Float'Safe_large ));
верните мне значение 3.402..E38
Я хотел бы знать разницу между этими двумя числовыми атрибутами и, возможно, также, почему «Safe_Large не так часто используется, как атрибут» Last.
Большое спасибо ...