Build #1169 (23.06.2019 13:16:58)

1. fixed #866 constant folding of reals (commit: f33cb61) (detail / githubweb)

Started by GitHub push by peq

• refs/remotes/origin/master