Double number generator