Fix a float issue in machine list