%DEPENDS%
gmp>=5.0

