Add Number.int(), optimize String.lengthdb()