Don't Care Words with an Application to the Automata-Based Approach for Real Addition