{
  toIntBase10 = str: builtins.fromJSON "${str}";
  mod = a: b: a - b * (builtins.floor (a / b));
  min = a: b: if a < b then a else b;
  max = a: b: if a > b then a else b;
}