Found a bug in negative constant numbers. Now it is fixed.
Tweak to TODO.