Fix Bug 748 - array_5 test fails for seed 1392781168.
(grafted from ee16e48273331d5a85c0ab4fafbedd001e97a693)

--HG--
branch : 3.2
extra : source : ee16e48273331d5a85c0ab4fafbedd001e97a693