Php gmp extension

When I first installed php7 it did not work, so I reverted with the command ee site update example.com --php7=off

Now that I did the update I used the command

ee site update example.com --php7

and now it works, THANKS!