b78ae941a48b ^
1 2 3 4 5
# builtins.substring uses string coercion internally builtins.substring 0 2 { __toString = _: "4200"; }