tests/lint: skip tests for converting large floating point to integer

These tests differ between the platforms supported by lint. The
differences may be caused by hardware differences, the default rounding
mode, bugs in the emulator running the tests, bugs in the
platform-specific string-to-float or float-to-string conversions and
probably some more.

For now, accept that lint will behave differently on those platforms.

lint: warn about lossy floating point constant to integer conversions