Extracted from Pike v7.8 release 866 at 2018-07-18.
pike.ida.liu.se
[Top]
Gmp
Gmp.mpf

Method Gmp.mpf()->cast()


Method cast

mixed cast(string to)