Better definition of max int