@karelpeeters yeah have to move it here, because #random was not the correct place. So you think this conversion makes sense because of other different complicated cases and to mimic the exact same output as Java?