Version: Version 0.601.0.6010507 (64bit).
The script analysis reports the following operation as incompatible:
But upon testing, it works perfectly fine:
Thanks for the report! Integer division is a recent addition, and it seems that missed providing some of the necessary support infrastructure to have it work appropriately with Roblox API types. I’ll get this fixed as soon as possible! 
1 Like
Roping back around to this after the holidays, the flag was flipped on Nov 28th, 2023, and it should be alright to close this issue out. Feel free to follow up if you’re still having any issues!