Document gmpy drop-in possibility