If the float is infinite, print the INF constant
Merge remote-tracking branch 'upstream-cwi-swat/master'