FrozenMixtureDistribution cast to int64