(#605) - Ensure INT represented as 8 bytes

[andreoss]

Per #605

• Copy bytes with padding when converting to INT

[codecov]

Codecov Report

Merging #608 (5b033f4) into master (1dfb810) will increase coverage by 0.24%.
The diff coverage is 90.32%.

@@             Coverage Diff              @@
##             master     #608      +/-   ##
============================================
+ Coverage     80.97%   81.22%   +0.24%     
- Complexity      509      516       +7     
============================================
  Files           143      143              
  Lines          2597     2610      +13     
  Branches        225      232       +7     
============================================
+ Hits           2103     2120      +17     
+ Misses          421      416       -5     
- Partials         73       74       +1     

Impacted Files	Coverage Δ
eo-runtime/src/main/java/org/eolang/Param.java	72.91% <85.00%> (+14.29%)	⬆️
...rc/main/java/EOorg/EOeolang/EObytes$EOas_char.java	100.00% <100.00%> (ø)
...c/main/java/EOorg/EOeolang/EObytes$EOas_float.java	100.00% <100.00%> (+100.00%)	⬆️
...src/main/java/EOorg/EOeolang/EObytes$EOas_int.java	100.00% <100.00%> (ø)
...ime/src/main/java/EOorg/EOeolang/EObytes$EOor.java	100.00% <100.00%> (ø)
...rc/main/java/EOorg/EOeolang/EOchar$EOas_bytes.java	100.00% <100.00%> (ø)
...c/main/java/EOorg/EOeolang/EOfloat$EOas_bytes.java	100.00% <100.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 1dfb810...5b033f4. Read the comment docs.

[yegor256]

@rultor merge

[rultor]

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 9min)

[0crat]

@yegor256/z everybody who has role REV is banned at #608; I won't be able to assign anyone automatically; consider assigning someone manually (as in §19), or invite more people (as in §51), or remove the job from the scope (as in §14)

[0crat]

@yegor256/z everybody who has role REV is banned at #608; I won't be able to assign anyone automatically; consider assigning someone manually (as in §19), or invite more people (as in §51), or remove the job from the scope (as in §14)

[0crat]

@yegor256/z everybody who has role REV is banned at #608; I won't be able to assign anyone automatically; consider assigning someone manually (as in §19), or invite more people (as in §51), or remove the job from the scope (as in §14)