Add explanations of what the output SIMD values contain.

Author: chrisdavidmills

files/en-us/webassembly/reference/numeric/abs/index.md

@@ -60,9 +60,9 @@ value_type.abs
 - `output`
   - : The output value.
 
-For a non-SIMD `abs`, the `input` and `output` will be basic numeric values such as `-3.5` or `3.5`.
+For a non-SIMD `abs`, the `input` and `output` will be basic numeric values such as `3.5` or `10`.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `abs`, the `input` and `output` will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 4 -8 12 -16`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `abs`, the `input` and `output` will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 4 8 12 16`. Each lane of the output pushed to the stack is the absolute value of the corresponding lane in the input.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/add/index.md

@@ -67,7 +67,7 @@ value_type.add
 
 For a non-SIMD `add`, these will be basic numeric values such as `3` or `3.5`.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `add`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 0x9 0xa 0xb 0xc`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `add`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 0x9 0xa 0xb 0xc`. Each lane of the output pushed to the stack is the addition of the corresponding lanes in the input values.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/and/index.md

@@ -71,7 +71,7 @@ value_type.and
 
 For a non-SIMD `and`, these will be basic numeric values such as `14` or `3`.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `and`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 9 4 -16 100`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `and`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 9 4 -16 100`. Each lane of the output pushed to the stack is the bitwise AND of the corresponding lanes in the input values.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/ceil/index.md

@@ -58,7 +58,7 @@ value_type.ceil
 
 For a non-SIMD `ceil`, these will be basic numeric values such as `14.3` or `3.0`.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ceil`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 1.9 2.5 0.5 12.1`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ceil`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 1.9 2.5 0.5 12.1`. Each lane of the output pushed to the stack is the rounded up value of the corresponding lane in the input.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/div/index.md

@@ -61,7 +61,7 @@ value_type.div
 
 For a non-SIMD `div`, these will be basic numeric values such as `3` or `3.5`.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `div`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 0x9 0xa 0xb 0xc`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `div`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 0x9 0xa 0xb 0xc`. Each lane of the output pushed to the stack is the result of the division of the first input's corresponding lane by the second input's corresponding lane.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/eq/index.md

@@ -71,11 +71,11 @@ value_type.eq
 - `input2`
   - : The second input value.
 - `output`
-  - : The output value. If the input values are equal, `1` will be pushed on to the stack, otherwise `0` will be pushed on to the stack. The output values are integers.
+  - : The output value, which will be an integer type.
 
-For a non-SIMD `eq`, the inputs will be basic numeric values such as `3` or `3.5`.
+For a non-SIMD `eq`, the inputs will be basic numeric values such as `1` or `3.5`. If the input values are equal, `1` will be pushed on to the stack as an output, otherwise `0` will be pushed on to the stack.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `eq`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 0x9 0xa 0xb 0xc`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `eq`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 0x9 0xa 0xb 0xc`. Each lane of the output pushed to the stack is a `1` or `0` indicating the equality of the corresponding lanes in the input values.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/floor/index.md

@@ -60,7 +60,7 @@ value_type.floor
 
 For a non-SIMD `floor`, these will be basic numeric values such as `14.3` or `3.0`.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `floor`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 1.9 2.5 0.5 12.1`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `floor`, these will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 1.9 2.5 0.5 12.1`. Each lane of the output pushed to the stack is the rounded down value of the corresponding lane in the input value.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/ge/index.md

@@ -67,11 +67,11 @@ value_type.ge
 - `input2`
   - : The second input value.
 - `output`
-  - : The output value. If the first input is greater than or equal to the second input, `1` will be pushed on to the stack, otherwise `0` will be pushed on to the stack. The output values are integers.
+  - : The output value, which will be an integer type.
 
-For a non-SIMD `ge`, the inputs will be basic numeric values such as `3.0` or `3.5`.
+For a non-SIMD `ge`, the inputs will be basic numeric values such as `3.0` or `3.5`. If the first input is greater than or equal to the second input, `1` will be pushed on to the stack as an output, otherwise `0` will be pushed on to the stack.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ge`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 2.0 30 86.9 120`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ge`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `f32x4 2.0 30 86.9 120`. Each lane of the output pushed to the stack is a `1` or `0` indicating whether the corresponding lane of the first input value is greater than or equal to the corresponding lane of the second input value.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/ge_s/index.md

@@ -72,11 +72,11 @@ value_type.ge_s
 - `input2`
   - : The second input value.
 - `output`
-  - : The output value. If the first input is greater than or equal to the second input, `1` will be pushed on to the stack, otherwise `0` will be pushed on to the stack. The output values are integers.
+  - : The output value, which will be an integer type.
 
-For a non-SIMD `ge_s`, the inputs will be basic numeric values such as `3` or `12`.
+For a non-SIMD `ge_s`, the inputs will be basic numeric values such as `3` or `12`. If the first input is greater than or equal to the second input, `1` will be pushed on to the stack as an output, otherwise `0` will be pushed on to the stack.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ge_s`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 2 30 86 120`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ge_s`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 2 30 86 120`. Each lane of the output pushed to the stack is a `1` or `0` indicating whether the corresponding lane of the first input value is greater than or equal to the corresponding lane of the second input value.
 
 ### Binary encoding
 

files/en-us/webassembly/reference/numeric/ge_u/index.md

@@ -71,11 +71,11 @@ value_type.ge_u
 - `input2`
   - : The second input value.
 - `output`
-  - : The output value. If the first input is greater than or equal to the second input, `1` will be pushed on to the stack, otherwise `0` will be pushed on to the stack. The output values are integers.
+  - : The output value, which will be an integer type.
 
 For a non-SIMD `ge_u`, the inputs will be basic numeric values such as `3` or `12`.
 
-For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ge_u`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 2 30 86 120`.
+For a [SIMD](/en-US/docs/WebAssembly/Reference/SIMD) `ge_u`, the inputs will be [`v128`](/en-US/docs/WebAssembly/Reference/Types/v128) value interpretations, for example `i32x4 2 30 86 120`. Each lane of the output pushed to the stack is a `1` or `0` indicating whether the corresponding lane of the first input value is greater than or equal to the corresponding lane of the second input value.
 
 ### Binary encoding