执行 Python语句 print(int(3.5)*2) 将输出 6。