Square of large numbers

Official Description

6.6.6.2 Sqr(x) computes the square of x. It is an error if such a value does not exist.

In other words, it is an error if sqr(x) is too large to be represented by the real type.

This error is always reported.