use array_unique():

$generated = array_unique(random(4.0008, 4.1008, 20));