6800448 fix for 6726575 introduced floating-point into the kernel
6726575 ipfilter needs to be able to do randomised port mapping 6730614 random port numbers are in the wrong range of numbers