If you need a number with a certain amount of digi...

# announcements

[karelpeeters]

If you need a number with a certain amount of digits String might be a better choice, 01234 wouldn't work with Int.