for d being Real holds |.(sgn d).| <= 1