using php's gmp library
test command line argument passing