implicit arguments in quotient.v, close #447

Nit: Would `isset_quotient` or `trunc_quotient` be more consistent here?