Hardened Int against null and undefined arguments