Refine grammar, clarity, and precision in documentation (#356)

* Update 06.mdx

* Update 07.mdx

* Update 0B.mdx

* Update 03.mdx

* Update 05.mdx

* Update 06.mdx

Author: Danyylka

docs/opcodes/03.mdx

@@ -8,7 +8,7 @@ group: Stop and Arithmetic Operations
 ## Stack input
 
 0. `a`: first integer value.
-1. `b`: integer value to subtract to the first.
+1. `b`: integer value to subtract from the first.
 
 ## Stack output
 

docs/opcodes/05.mdx

@@ -16,7 +16,7 @@ All values are treated as two’s complement signed 256-bit integers. Note the o
 
 ## Stack output
 
-0. `a // b`: integer result of the signed integer division. If the denominator is 0, the result will be 0.
+0. `a // b`: signed integer division result. If the denominator is 0, the result will be 0.
 
 ## Examples
 

docs/opcodes/06.mdx

@@ -12,7 +12,7 @@ group: Stop and Arithmetic Operations
 
 ## Stack output
 
-0. `a % b`: integer result of the integer modulo. If the denominator is 0, the result will be 0.
+0. `a % b`: integer result of the integer modulo. If the denominator equals 0, the result is 0.
 
 ## Examples
 

docs/opcodes/07.mdx

@@ -7,7 +7,7 @@ group: Stop and Arithmetic Operations
 
 ## Notes
 
-All values are treated as two’s complement signed 256-bit integers. Note the overflow semantic when −2<sup>255</sup> is negated.
+All values are treated as two's complement 256-bit signed integers. Note the overflow semantic when −2<sup>255</sup> is negated.
 
 ## Stack input
 

docs/opcodes/0B.mdx

@@ -7,7 +7,7 @@ group: Stop and Arithmetic Operations
 
 ## Stack input
 
-0. `b`: size in byte - 1 of the integer to sign extend.
+0. `b`: size in byte - 1 of the integer to be sign-extended.
 1. `x`: integer value to sign extend.
 
 ## Stack output