From 9d5fb1bf8bed9cb5aac6ce6021ced4489d3a757a Mon Sep 17 00:00:00 2001 From: aathan Date: Wed, 23 Mar 2022 21:39:16 -0700 Subject: [PATCH] Update operators.rst --- docs/types/operators.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/types/operators.rst b/docs/types/operators.rst index 1c26e627d..1d71352d6 100644 --- a/docs/types/operators.rst +++ b/docs/types/operators.rst @@ -18,7 +18,9 @@ and the type of the operator's result: In case one of the operands is a :ref:`literal number ` it is first converted to its "mobile type", which is the smallest type that can hold the value (unsigned types of the same bit-width are considered "smaller" than the signed types). -If both are literal numbers, the operation is computed with arbitrary precision. +If both are literal numbers, the operation is computed with effectively unlimited precision in +that the expression is evaluated to whatever precision is necessary so that none is lost +when the result is used with a non-literal type. The operator's result type is the same as the type the operation is performed in, except for comparison operators where the result is always ``bool``.