floating-point numbers with exponents are printed with capital E

[yegor256]

See objectionary/eo-phi-normalizer#679 We should use small e instead.

[yegor256]

@maxonfjvipon please, help

[yegor256]

@rultor release, tag is 0.51.5

[rultor]

@rultor release, tag is 0.51.5

@yegor256 OK, I will release it now. Please check the progress here.

[rultor]

@rultor release, tag is 0.51.5

@yegor256 Oops, I failed. You can see the full log here (spent 9min).

[INFO] Released
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for eo 0.51.5:
[INFO] 
[INFO] eo ................................................. SUCCESS [  7.627 s]
[INFO] eo-parser .......................................... SUCCESS [ 11.099 s]
[INFO] eo-maven-plugin .................................... SUCCESS [ 14.572 s]
[INFO] eo-runtime ......................................... SUCCESS [02:24 min]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  03:01 min
[INFO] Finished at: 2025-02-12T12:31:56Z
[INFO] ------------------------------------------------------------------------
\u001b[0m\u001b[0mbranch 'gh-pages' set up to track 'origin/gh-pages'.
Switched to a new branch 'gh-pages'
HEAD is now at cf7b29d44 Deploying to gh-pages from @ objectionary/eo@e184458f31d92555512684ae62a176752ec7a69d 🚀
Using /usr/local/rvm/gems/ruby-3.2.2
Using /usr/local/rvm/gems/ruby-3.2.2
Using /usr/local/rvm/gems/ruby-3.2.2
Using /usr/local/rvm/gems/ruby-3.2.2
Removing .flattened-pom.xml
[gh-pages b30c3772b] XMIR XSD 0.51.5
 2 files changed, 491 insertions(+), 1 deletion(-)
 create mode 100644 xsd/XMIR-0.51.5.xsd
[gh-pages 6f2ea8c2b] objectionary 0.51.5
 109 files changed, 144 insertions(+), 143 deletions(-)
Switched to branch '__rultor'
+ mv /home/r/repo .
++ whoami
+ chown -R root repo
+ '[' -n '' ']'
++ whoami
+ sudo chown -R ubuntu repo
+ cd repo
+ git checkout __rultor
Already on '__rultor'
+ git tag 0.51.5 -m '0.51.5: tagged by rultor.com'
+ git reset --hard
HEAD is now at 8ac9cf5c9 0.51.5
+ git clean -fd
Removing eo-maven-plugin/.flattened-pom.xml
Removing eo-parser/.flattened-pom.xml
Removing eo-runtime/.flattened-pom.xml
+ git checkout master
Switched to branch 'master'
Your branch is up to date with 'origin/master'.
+ git branch -D __rultor
Deleted branch __rultor (was 8ac9cf5c9).
+ git push --all origin
To github.com:objectionary/eo.git
 ! [rejected]            gh-pages -> gh-pages (fetch first)
error: failed to push some refs to 'github.com:objectionary/eo.git'
hint: Updates were rejected because the remote contains work that you do
hint: not have locally. This is usually caused by another repository pushing
hint: to the same ref. You may want to first integrate the remote changes
hint: (e.g., 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.
container 82337f95aa8893eb5293b6b929c17afebe0d354a1d1791d122a240d3ffe39335 is dead
Wed Feb 12 12:32:21 UTC 2025