What is the behaviour on converting a negative floating point value into an unsigned int?
Is the behaviour of casting a negative double to unsigned int defined in the C standard? Different behaviour on ARM vs. x86