Eugen Wissner a2dadda511 Fix subtraction of numbers with different signs		2016-12-08 18:30:22 +01:00
..
tanya	Fix subtraction of numbers with different signs	2016-12-08 18:30:22 +01:00