spec for float number edge case