This was an example to do the division as float, so it would be replaced with a multiplication. But I don't know if it's worth.