Re: Casting int to float broken in 8.0 on amd64 Linux