double/integer random json