changed version number format to double

Author git <vivec@telvanni.eu>
Author date 2018-08-25 14:11:49
Author local date 2018-08-25 16:11:49 +0200
Committer git <vivec@telvanni.eu>
Committer date 2018-08-25 14:11:49
Committer local date 2018-08-25 16:11:49 +0200
Commit 2b19f0a82a4cc2547f6ca5bf6243f4ee4037219e
Tree f0c28fac027f1f83ebd4f71f9023eb2421faaf6f
Parent 22a1889d5009503c545e0f2246f3530ac07bbd89
changed version number format to double