util: Follow up to [9789]: for some strange reason, it seems that multiplying is about three times faster than dividing.
Thanks to Christian Boos for the suggestion and extensive benchmarking :) Part of #9377.
Authored by: rblank 2010-05-27
Parent: [r9789]
Child: [r9791]
