Modifiy Float::Interval::getMin and getMax to work the same way as Integer::Interval
Fixes #148.
Modifiy Float::Interval::getMin and getMax to work the same way as Integer::Interval
Fixes #148.
Fixed bottom value behavior in some ArrayExactSize operations. #173