请问为啥结果不是九次？

1000
500.0
250.0
125.0
62.5
31.25
15.625
7.8125
3.90625
1.953125

正好跑十次，第十次跑完k/2<1,循环结束

2的九次方等于512，第九次应该k=1.多，大于1所以还会执行一次.