ke should also be Uint64 in the ziggurat implementation.