Use 'inf' as large value instead of 1e20 #421

Merged
tvwerkhoven merged 1 commits from master into master 2013-08-28 03:06:33 +02:00

1 Commits

Author SHA1 Message Date
Tim van Werkhoven
16ff6e883a Use 'inf' as large value instead of 1e20
'inf' is always bigger than any number, 1e20 is not.
2013-08-20 10:43:30 +02:00