> I don't know if this works correctly in the case of reals, but I didn't change > its current functionality. Reals are also broken (see comment #4 for PR 19032).