1a5051c
remove support for f32 To be merged Tue 2021-05-25 according to https://fedorapeople.org/groups/schedule/f-34/f-34-key-tasks.html