comma? "when PHP uses int64, phpseclib uses int64 / base-31."