Irreducible_fraction loading ...