Friedman_number loading ...