Your analysis of the bug is wrong. The lack of floating point is not the issue here. check this explanation. medium.com/@thedudeog/dex-101-understanding-the-mechanics-behind-uniswap-v2-eb4d18f5a363