Fixed operations.widen function