Define INFINITY when it's not defined