[net.lang.ada] representation of subtypes??

Bryan@SU-SIERRA.ARPA (Doug Bryan) (04/05/86)

Consider

	type Int is range -2E9 .. 2E9;
	subtype Small_Int is Int range -32_000 .. 32_000;

May Int'Size and Small_Int'Size yield different values?  Namely,
may a subtype have a different representation that its base type?
Finally, may a qualified expression change the representation of
its operand?  

Consider

	type Fl is digits 12;
	subtype Small_Fl is Fl digits 6;

	F : Fl := 0.333333333333;
	X : Small_Fl := Small_Fl'(F);

May a qualified expression change the value of its operand?

doug
-------