I am trying to use some gmp functions (such as: gmp_clrbit(), gmp_cmp(), etc) in my PHP code. But when I run them into my server it show me a fatal error. My server supports the latest version of PHP. I can't understand what is the problem. How can I fix it?