Use doubles instead of integers for rates in the random updater