RosettaCodeData/Task/Infinity/Ada/infinity-3.ada

subtype Safe_Float is Float range Float'Range;