f32 >= score(1)
