Fix incorrect representation when using reals

Fixes #1532