Bugfix: do not round information loss