T1: (failed) optimization attempt to use signed magnitude representation (#931)