docs: def floordiv(x, y, context=None):
      """
      Return the floor of ``x`` divided by ``y``.
  
      The result is a ``BigFloat`` instance, rounded to the
      context if necessary.  Special cases match those of the
      ``div`` function.
  
      """
      return _apply_function_in_current_context(
          BigFloat,
          mpfr_floordiv,
          (
              BigFloat._implicit_convert(x),
              BigFloat._implicit_convert(y),
          ),
          context,
      )