$a$ and $b$ are positive integers. When written in binary, $a$ has $2004$ $1$'s, and $b$ has $2005$ $1$'s (not necessarily consecutive). What is the smallest number of $1$'s $a + b$ could possibly have?

Let's think step by step and output the final answer within \boxed{}.
user