The sukuk will be in the 4 billion riyal ($1.1 billion) region, according to a source