Debugging number infinity