basic-types: review

discrete: rephrase

real: add note, rephrase

Author: leogermond

courses/fundamentals_of_ada/030_basic_types/02-discrete_numeric_types.rst

@@ -55,7 +55,7 @@ Predefined Signed Integer Types
 
     Portability not guaranteed
 
-        * But may be difficult to avoid
+        * But usage may be difficult to avoid
 
 ---------------------------------
 Operators for Signed Integer Type
@@ -71,9 +71,9 @@ Operators for Signed Integer Type
 
 .. note::
 
-    Exponentiation :ada:`**` result will be a signed integer
+    Exponentiation (:ada:`**`) result will be a signed integer
 
-       - |rightarrow| power **must** be :ada:`Integer` ``>= 0``
+       - So power **must** be :ada:`Integer` ``>= 0``
 
 .. warning:: Division by zero |rightarrow| :ada:`Constraint_Error`
 

courses/fundamentals_of_ada/030_basic_types/02-discrete_numeric_types_with_mod.rst

@@ -55,7 +55,7 @@ Predefined Signed Integer Types
 
     Portability not guaranteed
 
-       - But may be difficult to avoid
+       - But usage may be difficult to avoid
 
 ---------------------------------
 Operators for Signed Integer Type
@@ -71,9 +71,9 @@ Operators for Signed Integer Type
 
 .. note::
 
-    Exponentiation :ada:`**` result will be a signed integer
+    Exponentiation (:ada:`**`) result will be a signed integer
 
-       - |rightarrow| power **must** be :ada:`Integer` ``>= 0``
+       - So power **must** be :ada:`Integer` ``>= 0``
 
 .. warning:: Division by zero |rightarrow| :ada:`Constraint_Error`
 

courses/fundamentals_of_ada/030_basic_types/07-real_types.rst

@@ -82,7 +82,7 @@ Predefined Floating Point Types
 
     It is best, and easy, to **avoid** predefined types
 
-       - Loss of **portability**
+       - To keep **portability**
 
 -------------------------------
 Floating Point Type Operators
@@ -96,9 +96,11 @@ Floating Point Type Operators
    :multiplying operator: :ada:`* | /`
    :highest precedence operator: :ada:`** | abs`
 
-* *Note* on floating-point exponentiation ``**``
+.. note::
 
-   - Power must be :ada:`Integer`
+   Exponentiation (:ada:`**`) result will be real
+
+   - So power must be :ada:`Integer`
 
       + Not possible to ask for root
       + :ada:`X**0.5` |rightarrow| :ada:`sqrt (x)`