f32 <= score(1)
