Makes sorting deterministic across platforms