Números pandigitais

Um número pandigital contém todos os dígitos decimais de 0 a 9 pelo menos uma vez. Os dígitos podem se repetir. Retorne um valor que indique se o número inteiro positivo é pandigital.

Exemplos

is_pandigital(98140723568910);     // ⟞ true
is_pandigital(90864523148909);     // ⟞ false
is_pandigital(112233445566778899); // ⟞ false