Cast int[] to float8[]