for x being Real st x < 0 holds
signum . x = - 1