The Saudi government issues 3.465 billion Saudi Arabian riyals ($924 million) as sukuks in three tranches via five domestic banks.