@zithral or, you could repeatedly pick from a range that might contain non-abbreviable numbers, until you get one that is abbreviable