Merge changes to reals formatting from master

This commit is contained in:
Eugen Wissner 2017-11-28 09:32:20 +01:00
parent 3a24e9e462
commit c199cdd47c

File diff suppressed because it is too large Load Diff