Currently, AbsNode::Value() only returns a sharper type if the incoming value is a constant. However, if the value range doesn't include jint_min or jlong_min, it could return [0, max(abs(lo), hi)] which would be a more accurate representation of the type.