Replacement for @raoulb pr#914

See #914

ToDo:
- [x] tests
- [x] final rebase
This works also for symbolic integers, perfect.