{
  toIntBase10 = str: builtins.fromJSON "${str}";
  mod = a: b: a - b * (builtins.floor (a / b));
}