FAIL: B1 value '25.0' is not a non-negative integer