Default length of INT