[synack]

This is one of the things Ada does really well. The standard says that the range of Float is implementation defined, but a program can reference the 'First and 'Last attributes of the Float type to determine the actual bounds for the compiler and runtime.

http://www.ada-auth.org/standards/2xaarm/html/AA-3-5-7.html