F64_CONVERT_S_I64