FloatValue: add special values verification
Add verification for infinity and NaN values
Merge branch 'float_infinity'