def gmpy_mpf_mul_int(s, n, prec, rnd=round_fast):
    sign, man, exp, bc = s
    if not man:
        return mpf_mul(s, from_int(n), prec, rnd)
    if not n:
        return fzero
    if n < 0:
        sign ^= 1
        n = -n
    man *= n
    return normalize(sign, man, exp, bitcount(man), prec, rnd)
Multiply by a Python integer.
dataset/ETHPy150Open fredrik-johansson/mpmath/mpmath/libmp/libmpf.py/gmpy_mpf_mul_int