You're right, they all include leading zeros, so should never change.