In this particular case, it would not be useful.

Personally I don’t ever want a compiler trying to replace straight-forward integer algorithms with floating point formulas. YMMV.