IRB Infrastructure jumps 9% on bonus issue ex-date; Q3 results