tree 1ac8de0fb9062d5917560df63ca91a773869e456
parent 35487c0145c55c6230e455fee6a06d1fb1e305fc
author Till Westmann <tillw@apache.org> 1474696686 -0700
committer Till Westmann <tillw@apache.org> 1474740842 -0700

Print non-numeric floating point values as strings

Change-Id: I423fa30005a0987b1b98dc111a489a64e347df15
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1208
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>