From a755805879eb3cfb22bbe3845dc61a288f64a0e0 Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Fri, 25 Nov 2016 14:51:38 +0100 Subject: Update types.rst --- docs/types.rst | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/docs/types.rst b/docs/types.rst index 83b0a098..0436fc70 100644 --- a/docs/types.rst +++ b/docs/types.rst @@ -169,13 +169,6 @@ Fixed Point Numbers Rational and Integer Literals ----------------------------- -Solidity has a number literal type for each rational number. -Integer literals and rational number literals belong to number literal types. -Moreover, all number literal expressions (i.e. the expressions that -contain only number literals and operators) belong to number literal -types. So the number literal expressions `1 + 2` and `2 + 1` both -belong to the same number literal type for the rational number three. - Number literal expressions retain arbitrary precision until they are converted to a non-literal type (i.e. by using them together with a non-literal expression). This means that computations do not overflow and divisions do not truncate @@ -198,6 +191,14 @@ long as the operands are integers. If any of the two is fractional, bit operatio and exponentiation is disallowed if the exponent is fractional (because that might result in a non-rational number). +.. note:: + Solidity has a number literal type for each rational number. + Integer literals and rational number literals belong to number literal types. + Moreover, all number literal expressions (i.e. the expressions that + contain only number literals and operators) belong to number literal + types. So the number literal expressions `1 + 2` and `2 + 1` both + belong to the same number literal type for the rational number three. + .. note:: Most finite decimal fractions like ``5.3743`` are not finitely representable in binary. The correct type for ``5.3743`` is ``ufixed8x248`` because that allows to best approximate the number. If you want to -- cgit v1.2.3