Property definitions

gmp $ NativeMPQ :: div
    fun div(res, op: NativeMPQ) `{
        mpq_div(res, self, op);
    `}
lib/gmp/native_gmp.nit:173,5--175,6