[math-fun] 2015 is palindromic in binary