<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_i5qrrdsoeoffuh9865updepvt0, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
srecord Percent(double percent) {
  void set(double percent) { percent = percent; }
  double get() { ret percent; }
  
  toString {
    ret percent + " %";
  }
  
  S renderWithDecimals aka withDecimals(int decimals) {
    ret formatDouble(percent, decimals) + " %";
  }
  
  S oneDecimal() { ret withDecimals(1); }
  
  static Percent ratio(double x, double y) {
    ret new Percent(doubleRatio(x, y)*100);
  }
}