I don't think those are pre-tax. They are just interest free loans.

At least, in none of the companies I've worked for has it been pre-tax