actors: Switch random-number-size to be 2^128.