-- Verify numerus:extension_iban on pg

begin;

select 1/count(*) from pg_extension where extname = 'iban';

rollback;