Lua не перестаёт удивлять.
$ lua5.3 -e 't0=os.clock()local v for i=1,1e9 do v=i//1.0 end print(os.clock()-t0)'
11.848781
$ lua5.3 -e 't0=os.clock()local v for i=1,1e9 do v=i//1 end print(os.clock()-t0)'
16.08497
Операция целочисленного деления на целочисленную константу работает медленнее, нежели на константу с плавающей точкой.
Соответственно, округление (val+0.5)//1.0 также будет выполняться быстрее, чем (val+0.5)//1.