In this routine, the ultimate benefit times the spouse.
This fraction is also called the time rule.
See also Alternate Payee, QDRO.