fix fuzzbug regarding signed 64-bit extension