On infinitives and floating quantification