digits(360, 10, "Leben: %.f", arial_font, 1, leben_display);

Code:
void main(){
...

  while(1){
    if(leben > 0){
      leben_display = leben;
    }else{
      leben_display = 0;
    }
    wait(1);
  }
}