Bounds computation for UDiv