No, it sets it to 9999. Using my API, the third parametre is maxlength, max is generated from that. You proposed to replace it by max, and generate maxlength using max strlen. Now I am not sure what to do. Am I to replace maxlength with max? Then, it would look like this: `'number:0:9999'`. Are you sure you want that?