fractional edge chromatic number