<?php $num = gmp_init(1); var_dump($num,gettype($num),(int)$num);
You have javascript disabled. You will not be able to edit any code.