Fix bad NumberInt test, try to fix Linux compile