Reorganized implementation of tinymt64.