Document behavior of (string-to-number "+@") (Bug#16293).