Как преобразовать отрицательный нуль в положительный нуль в C?

Здравствуйте, я изучаю Objective C и выполнял классический пример с калькулятором.

Проблема в том, что я получаю отрицательный ноль, когда умножаю ноль на любое отрицательное число, и помещаю результат в (двойной) тип!

Чтобы понять, что происходит, я поиграл с отладчиком и это вот что я получил:

(gdb) print -2*0
$1 = 0

(gdb) print (двойной) -2 * 0
$2 = -0

Во втором случае, когда я привожу его к типу double, он превращается в отрицательный нуль! Как я могу исправить это в своем приложении? Мне нужно работать с двойниками. Как исправить результат, чтобы получить ноль, когда результат должен быть нулевым?