Add Inf.add_*