Surreal_number loading ...