You can also drop 524535643, an integer clearly less than 2^53 and is off by 5.
This is even seen here:
#include <stdio.h>
int main() {
float b = 524535643.0f;
printf("%f", b);
return 0;
}
output: 524535648.000000
Like something is going very wrong if the system is in that state, so I want everything to die immediately.