Hi Juerg,
if I, in windows version, set the crop tool to Manual and overrite the setting and then press enter the Aspect ratio is set to the correct value. Screenshots with silly values to test.
By using the crop tool and use the shift key I can preserve this ratio.
Or did I not understand the question?
Greetings