Fix bug in the printing of double for limit values#4498

Merged

romainbrenguier merged 2 commits intodiffblue:developfrom

romainbrenguier:bugfix/double-printing

Apr 9, 2019

Commits on Apr 8, 2019

Remove special case of limit for double printing
romainbrenguier
committed

Commits on Apr 9, 2019

Test for printing double values in trace
romainbrenguier
committed