Everything looks fine on amd64 but the bug was reported on mips64el. Perhaps there is a discrepancy between architectures? -- Ludovic Brenta.