Integer case from OID can be lazy