fractional chromatic number