- Fixed bug w.r.t. floating-point array indices