Fractional chromatic number