Fix issue 12589 - std.random.randomCover fails for empty ranges