ConstrainedType, shouldSupportDivisionOfUnderlyingTypeByTheConstrainedType