No division by 0 in type checks