I made an animation via python which sets some values on non-integers.
Now i would like to manually change these values.
how can i set the timeline on a non integer value? e.g. 12.5
I know i can change the values in the graph editor. But i would like to set the timeline and change them here:

Unfortunately i can't get these field to yellow because the keyframed value is 12.5