discrete, Double-valued random variables with operators and companion object