Do we need this `addInt`?