Specialise int function: pass int untagged
Small optimisation for + on untagged values