Κ = 0.003 for integer multiplication crossed

A GitHub pull request #4441 to the integer-mult-bounds repository by CrocSwap proposes a patch that sets the constant K to 0.003 for integer multiplication, which is a small value that can be used to improve performance. The pull request was commented on 4 times and has 11 points.