Scalr_Scripting_Manager::makeSeed PHP Method

    private static function makeSeed()
    {
        list($usec, $sec) = explode(' ', microtime());
        return (double) $sec + (double) $usec * 100000;
    }