Official Description
6.6.6.2 Sqr(x) computes the square of x. It is an error if such a value does not exist.
Simplified Description
In other words, it is an error if sqr(x) is too large to be represented by the real type.
Error Handling
This error is always reported.