f64 <= score(1)
