How is a users "Availability" calculated on the Members/Utilization report?

The total "Availability" for a user is calculated in this way:
availability = (work days) - (vacation days) - (holidays)
where "work days" are calculated based on the users work week (which is set for each user in the Admin/Members section).