Brazil business days and holidays: is a date a business day, next/previous business day, add N business days, or count business days between dates (national holidays).