Added InfExact and InfExactUnstable