This is an offshoot of #1320. After implementing the partial fix described in #1320 of inserting casts at const macro use sites, we still want to properly translate the macro with a portable type, as otherwise the type isn't portable once again, just like before #1266.