Question about translation of Romans 4:9

In church this morning, I stumbled across Romans 4:9 in my bilingual English/Spanish NIV/NVI Bible, and was puzzled by the Spanish translation of this verse.1 (Emphasis added for sake of comparison) In English, the text reads: Is thi…